编译原理（三）：由语言构造上下文无关文法

From Languages to Context-Free Grammars

基本方法

对称轴法

步骤

1. 找对称轴（特殊/基本情况）
2. 扩展

例子

\(L = \{ a^n b^n | n \ge 1 \}\)

1. 找对称轴：当 \(n = 1\) 时为基本情况，对应的串为 \(ab\)
2. 扩展：\(aSb\)

More Examples

Example 1

\(L = \{ a^m b^n | m \ge n \}\)