315
备注:
|
← 于2008-02-23 15:34:55修订的的版本6 ⇥
315
converted to 1.6 markup
|
删除的内容标记成这样。 | 加入的内容标记成这样。 |
行号 1: | 行号 1: |
* ["集合、关系和语言"] Sets, Relations, and Languages * ["有穷自动机"] Finite Automata * ["上下文无关语言"] 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 |