字母表

任意一个有限集, 记为 .

上的所有有限长串记为 .

上的任意长串都是 的子集.

上所有无限长串记为 .

上的语言与 一一对应.

指向原始笔记的链接

符号: 字母表中的元素

字符串

字母表 中符号组成的有限序列.

串的长度

串的链接

串的反转

指向原始笔记的链接

空词

长度为 0 的串, 记为 .

指向原始笔记的链接

给定字母表上一些字符串的集合称为语言.