Category:計算理論
後向き連鎖
Backward chaining
計算論的哲学
Computational philosophy
文字列書き換え系
Semi-Thue system前向き連鎖
Forward chaining
計算等価性原理
A New Kind of Science#Principle of computational equivalence
計算可能関数
Computable function
スーダン関数
Sudan function
合流性
Confluence (abstract rewriting)
竹内関数
Tak (function)
非同期セル・オートマトン
Asynchronous cellular automaton
マルコフアルゴリズム
Markov algorithm
チャイティンの定数
Chaitin's constant
領域理論
Domain theory
型付きラムダ計算
Typed lambda calculus
計算可能数
Computable number
計算理論
Theory of computation項書き換え
Rewriting
述語論理
Predicate logic
不動点コンビネータ
Fixed-point combinator