Similar to 帰納言語
帰納的可算言語
Recursively enumerable language原始再帰関数
Primitive recursive function項書き換え
Rewriting合流性
Confluence (abstract rewriting)再帰
Recursion不動点コンビネータ
Fixed-point combinatorΜ再帰関数
General recursive functionアッカーマン関数
Ackermann function一階述語論理
First-order logicオートマトン
Automata theory帰納的可算集合
Computably enumerable set計算可能関数
Computable functionゲーデル数
Gödel numbering述語論理
Predicate logic数学基礎論
Foundations of mathematics相互再帰
Mutual recursionDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
Algorithm形式体系
Formal system構成規則
Formation rule論理式 (数学)
Logical formulaAnnals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)L-system
L-systemMizar
Mizar systemアルファベット (計算機科学)
Alphabet (formal languages)左再帰
Left recursion