Similar to 再帰
非同期セル・オートマトン
Asynchronous cellular automaton前向き連鎖
Forward chainingマルコフアルゴリズム
Markov algorithm文字列書き換え系
Semi-Thue system領域理論
Domain theoryワンのタイル
Wang tile一人称
再帰的頭字語
Recursive acronym自己記述数
Self-descriptive number自己整合語
Autological word循環参照
Circular referenceタッパーの自己言及式
Tupper's self-referential formula不思議の環
Strange loopホフスタッターの法則
Hofstadter's law数理論理学
Mathematical logicDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
Algorithm一般と特殊 (数学)
Special case意味論 (論理学)
Semantics宇宙 (数学)
Universe (mathematics)エルブランの定理
Herbrand's theorem型理論
Type theoryカット除去定理
Cut-elimination theorem関係 (数学)
Finitary relation関係代数 (数学)
Relation algebra関係の合成
Composition of relations完全関係
Connected relation