|
大小: 48
备注:
|
大小: 337
备注:
|
| 删除的内容标记成这样。 | 加入的内容标记成这样。 |
| 行号 4: | 行号 4: |
定理：下推自动机接受的语言正好是上下文无关语言。 引理：每一个上下文无关语言都被一台下推自动机接受。 引理：如果一个语言被一台下推自动机接受，则它是上下文无关语言。 确定型上下文无关语言： |
上下文无关文法：
下推自动机：
定理：下推自动机接受的语言正好是上下文无关语言。
引理：每一个上下文无关语言都被一台下推自动机接受。
引理：如果一个语言被一台下推自动机接受，则它是上下文无关语言。
确定型上下文无关语言：