211
备注:
|
← 于2008-02-23 15:34:55修订的的版本6 ⇥
315
converted to 1.6 markup
|
删除的内容标记成这样。 | 加入的内容标记成这样。 |
行号 1: | 行号 1: |
* ["集合、关系和语言"] * ["有穷自动机"] Finite Automata * ["上下文无关语言"] Context-Free Language * ["图灵机"] * ["不可判定性"] * ["计算复杂性"] * ["NP完全性"] |
* [[集合、关系和语言]] Sets, Relations, and Languages * [[有穷自动机]] Finite Automata * [[上下文无关语言]] Context-Free Languages * [[图灵机]] Turing Machines * [[不可判定性]] Undecidability * [[计算复杂性]] Computational Complexity * [[NP完全性]] NP-completeness |