计算理论学习笔记（二）

上下文无关文法(CFG) 定义 前面提到的 0 n 1 n 0^n1^n 0n1n可以用上下文无关文法表示如下： S → 0 S 1 ∣ ϵ S\rarr 0S1\vert \epsilon S→0S1∣ϵ. 设计CFG CFG的设计很难对于多个简单CFG的合并或者语言本身是DFA都较容易设计。 有些很难的CFG是在一些基础的CFG上发展来的，所以需要记住一些常见的CFG的形式。 一些常见的CFG

>>阅读原文<<