Similar to チューリングマシン
確率的チューリング機械
Probabilistic Turing machine
アルゴリズム
Algorithm
Mizar
Mizar system
Communicating 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 machine
M系列
Maximum length sequence
カリー＝ハワード同型対応
Curry–Howard correspondence
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
形式手法
Formal methods
形式的検証
Formal verification
ゲーデルの不完全性定理
Gödel's incompleteness theorems
述語変換意味論
Predicate transformer semantics
制約論理プログラミング
Constraint logic programming
双模倣性
Bisimulation
表明 (プログラミング)
Assertion (software development)
不動点コンビネータ
Fixed-point combinator
プログラム意味論
Semantics (computer science)
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
モデル検査
Model checking