m0_56420769的博客

原创 深大形式语言与自动机期末复习（一）：文法

字母表：有穷，可区分，非空，不可分（整体性）字母表={0，1}，给出上字母表的下列语言的形式表示：所有不包含3个连续0的串：{001，01，1}*文法：G=(V,T,P,S)V：变量的非空有穷集T：终极符的非空有穷集P：产生式的非空有穷集S：文法G的开始符号字母表={a,b,c}，构造下列语言的文法：定理：（1）一般地，由开始符号推出来的任意符号行叫做G的句型。（2）一个语言可以被多个文法产生，产生相同语言的文法被称是等价的。文法的