|
于2006-02-18 23:42:24修订的的版本3
大小: 125
备注:
|
于2006-03-29 22:31:12修订的的版本5
大小: 315
备注:
|
| 删除的内容标记成这样。 | 加入的内容标记成这样。 |
| 行号 1: | 行号 1: |
| * ["集合、关系和语言"] | * ["集合、关系和语言"] Sets, Relations, and Languages |
| 行号 3: | 行号 3: |
| * ["上下文无关语言"] Context-Free Language | * ["上下文无关语言"] 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