下推自动机 下推自动机有一个七元组定义： 下面给出一个例子： PDA的状态迁移图 PDA的瞬时描述 一个PDA的瞬时描述对应于一个三元组。 PDA瞬时描述 ...

正则表达式的运算符 1、两个语言L和M的并，记作L∪M，是只属于L或属于只属于M，或者同时属于二者的串的集合。这个运算符有时也记作L+M。 　 2、语言L和M的连接是以下形成的串的集合：取L ...

上下文无关文法的范式 可以证明任何CFL都可以用只有A→BC或者A→α形式产生式的CFG产生，其中A，B和C是变元，而α是终结符。这种形式称为乔姆斯基范式(Chomsky Normal Form, ...

上下文无关文法 下面给出一个例子： 上下文无关文法的推导 生成树 下面给出一个例子： 歧义文法 如果一个字符串有多个推导，或者有多个生成树可以生成同样的字符 ...