Similar to 非決定性チューリングマシン
チューリング完全
Turing completenessAnnals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)0
01
1▼-1 trends2
23
34
45
56
67
78
89
912345679
計算モデル
Model of computationCommunicating Sequential Processes
Communicating sequential processesFRACTRAN
FRACTRANOISC
One-instruction set computerアクターモデル
Actor modelオートマトン
Automata theoryオペランドスタック
拡張階層化状態遷移表
決定性有限オートマトン
Deterministic finite automaton自動微分
Automatic differentiation状態遷移系
Transition system状態遷移図
State diagram状態遷移表
State-transition tableスタックマシン
Stack machine