计算机的文法及有限自动机学习
1．A.描述一句话的语法，语义，在计算机中为文法，而有限自动机(DFA)为自动识别装置，可识别正规集.
设文法G， G={V,T,S,P}, V,T分别为非终结符，终结符，
S为起始符，P为产生符.
文法分类
依据乔姆斯基的文法分类；对产生式格式有限制，
0型文法：α->β满足a为属于V的正则闭包，且至少含一个非终结符，而β为为属于V的闭包，不加限制的文法，为短语文法;
1型文法：对于α->β满足|α|<=|β|,只是S->ε例外，但是S不在产生式右部，A->a, A ? V,A为非终结符，上下文有关文法;
2型文法：A为非终结符，B属于V的闭包，A->a，A∈VN， 即A ? V, A为非终结符，a ? (V?T)*, a为非终结符和/或终结符的组合, 上下文无关文法（产生式前后为空的）;
3型文法：A->αB或α->β，α为非终结符的闭包，A，B为非终结符.
分为左线性：A->Ba或A->a,除A->a外产生式左边有一个非终结符，右线性：A->aB或A->a,除A->a外产生式右边有一个非终结符，A ,B x V,即A,B为非终结符，,a(V x T)*, a为非终结符和/或终结符的组合, 正规文法.
2.A.确定有限自动机
初态唯一，有向边上只有一字符，一个状态最多只有一条出边.
B.不确定有限自动机（NFA）
初态不唯一，有向边上可以为字符串，一个状态对于某个字符可有 多条输出的边（状态后继有多个）.
C.正规式-> NFA
NFA-> 正规式
与上述正规式转换为NFA相反.
D.正则文法转换为正则式
x=αx∣β(αx+β), 解为：x=αβ
x=xα|β(xα+β)， 解为：x=β
正则式转换为正则文法
a.令VT=∑
b.对任意正则表达式R选择一个非终结符Z生成规则Z->R ,并令S=Z.
c.若a和b都是正则表达式，对形如A->ab的规则转换成A->aB和B->b两规则，其中B是新增的非终结符
d.在已转换的文法中，将形如A->a*b的规则进一步转换成->aA∣b ,不断利用第三和第四条规则进行变换，直到每条规则最多含有一个终结符