211
备注:
|
315
|
删除的内容标记成这样。 | 加入的内容标记成这样。 |
行号 1: | 行号 1: |
* ["集合、关系和语言"] | * ["集合、关系和语言"] Sets, Relations, and Languages |
行号 3: | 行号 3: |
* ["上下文无关语言"] Context-Free Language * ["图灵机"] * ["不可判定性"] * ["计算复杂性"] * ["NP完全性"] |
* ["上下文无关语言"] Context-Free Languages * ["图灵机"] Turing Machines * ["不可判定性"] Undecidability * ["计算复杂性"] Computational Complexity * ["NP完全性"] NP-completeness |
- ["集合、关系和语言"] Sets, Relations, and Languages
- ["有穷自动机"] Finite Automata
- ["上下文无关语言"] Context-Free Languages
- ["图灵机"] Turing Machines
- ["不可判定性"] Undecidability
- ["计算复杂性"] Computational Complexity
- ["NP完全性"] NP-completeness