Category:計算モデル
チューリングマシン
Turing machine
決定性有限オートマトン
Deterministic finite automaton
状態遷移図
State diagram
非決定性有限オートマトン
Nondeterministic finite automaton可逆計算
Reversible computing
自動微分
Automatic differentiation
量子回路
Quantum circuit
抽象機械
Abstract machine
データフロー
Dataflow
表示的意味論
Denotational semantics
アクターモデル
Actor model
OISC
One-instruction set computer
状態遷移系
Transition system
状態遷移表
State-transition table
並列ランダムアクセス機械
Parallel RAM
確率的チューリング機械
Probabilistic Turing machine非決定性チューリングマシン
Nondeterministic Turing machineFRACTRAN
FRACTRANオペランドスタック
拡張階層化状態遷移表
Communicating Sequential Processes
Communicating sequential processes
交替性チューリング機械
Alternating Turing machine
プロセス計算
Process calculusラビンオートマトン
Rabin automaton
ビリヤードボール・コンピュータ
Billiard-ball computer
ゼノン機械
Zeno machine
レジスタマシン
Register machine
タグシステム
Tag system