Similar to チューリングマシン
400
400 (number)700
700 (number)1000
1000 (number)1000000
1,000,000Communicating Sequential Processes
Communicating sequential processes交替性チューリング機械
Alternating Turing machine神託機械
Oracle machineゼノン機械
Zeno machine抽象機械
Abstract machine非決定性チューリングマシン
Nondeterministic Turing machineビリヤードボール・コンピュータ
Billiard-ball computerプロセス計算
Process calculusペトリネット
Petri net有限オートマトン
Finite-state machineM系列
Maximum length sequenceアルファベット (計算機科学)
Alphabet (formal languages)カリー=ハワード同型対応
Curry–Howard correspondenceクヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm形式手法
Formal methods形式的検証
Formal verification述語変換意味論
Predicate transformer semantics制約論理プログラミング
Constraint logic programming双模倣性
Bisimulation表明 (プログラミング)
Assertion (software development)不動点コンビネータ
Fixed-point combinatorプログラム意味論
Semantics (computer science)並行制約プログラミング
Concurrent constraint logic programming並行論理プログラミング
Concurrent logic programming