前缀
移走s的尾部的零个或者多于零个符号所得子串
后缀
删去s的头部的零个或多个零个符号所得子串
子串
从s中删去一个前缀和一个后缀所得子串
真前缀、真后缀和真子串
不是s和ε的前缀、后缀和子串
子序列
从s中删去零个或多于零个符号(不要求是连续)
逆转
将s中的符号按相反次序写出而得到的符号串
长度
符号串中符号的数目
语言
确定字符表上字符串的集合。字符表上所有字符串的集合为最大,记为∑*
文法
一个文法G是一个四元组(VT,VN,S,P)
其中:
1. VT是一个非空有穷终结符号集合
2. VN是一个非空有穷的非终结符号集合,且VT∩VN = Φ
3. S∈VN开始符号。
4. P是一个产生式的非空有穷集合,每个产生式是A→α,其中A∈VN,α∈(VT∪VN)*开始符号S至少必须在某产生式的左部出现一次。
有穷状态自动机
一个确定的有穷自动状态机DFA是一个五元组,D = (K , ∑ , M , S , T),其中:
K:状态集
∑:字母表