Similar to 左再帰
ディック言語
Dyck language
バイグラム
Bigram
範疇文法
Categorial grammar
反復補題
Pumping lemma
文脈依存言語
Context-sensitive language文脈依存文法
Context-sensitive grammar文脈自由言語の反復補題
Pumping lemma for context-free languages
文脈自由文法
Context-free grammar
マイヒル–ネローデの定理
Myhill–Nerode theorem
Mizar
Mizar system
論理式 (数学)
Logical formula
論理定項
Logical constant
ゾゾウスキー微分
Brzozowski derivative再帰
Recursion
木構造 (データ構造)
Tree (abstract data type)原始再帰関数
Primitive recursive function再翻訳
Retranslation
相互再帰
Mutual recursion
超限帰納法
Transfinite induction
ドロステ効果
Droste effect
不動点コンビネータ
Fixed-point combinator
末尾再帰
Tail call
湖の島・島の湖の一覧
Recursive islands and lakes
無限ループ
Infinite loop
無名再帰
Anonymous recursion
