编译原理之基本概念

前缀

移走s的尾部的零个或者多于零个符号所得子串

后缀

删去s的头部的零个或多个零个符号所得子串

子串

从s中删去一个前缀和一个后缀所得子串

真前缀、真后缀和真子串

不是s和ε的前缀、后缀和子串

子序列

从s中删去零个或多于零个符号（不要求是连续）

逆转

将s中的符号按相反次序写出而得到的符号串

长度

符号串中符号的数目

语言

确定字符表上字符串的集合。字符表上所有字符串的集合为最大，记为∑^*

文法

一个文法G是一个四元组（V_T,V_N,S,P）
其中：
1. V_T是一个非空有穷终结符号集合
2. V_N是一个非空有穷的非终结符号集合，且V_T∩V_N = Φ
3. S∈V_N开始符号。
4. P是一个产生式的非空有穷集合，每个产生式是A→α，其中A∈V_N,α∈(V_T∪V_N)^*开始符号S至少必须在某产生式的左部出现一次。

有穷状态自动机

一个确定的有穷自动状态机DFA是一个五元组，D = （K , ∑ , M , S , T）,其中：
K：状态集
∑：字母表
M: K * ∑ → K 映射
S：开始状态 ， S∈K
T：结束状态集，T⊆K

不确定有穷状态自动机

一个不确定有穷自动状态机UFA是一个五元组（K , ∑ , M , S , T）,其中：
K：状态集
∑：字母表
M: K * ∑ → K 的子集所组成的集合
S：开始状态集 ， S⊆K
T：结束状态集，T⊆K

扫描二维码关注公众号，回复： 58332 查看本文章