計算理論學習筆記（二）

上下文無關文法(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

>>阅读原文<<