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）一个语言可以被多个文法产生，产生相同语言的文法被称是等价的。 文法的