Similar to オートマトン
10
10
11
11 (number)
12
12 (number)
100
100
400
400 (number)
700
700 (number)
1000
1000 (number)
アッカーマン関数
Ackermann function
帰納言語
Recursive language
帰納的可算言語
Recursively enumerable language
計算モデル
Model of computation
項書き換え
Rewriting
合流性
Confluence (abstract rewriting)
Μ再帰関数
General recursive function
線形拘束オートマトン
Linear bounded automaton
プッシュダウン・オートマトン
Pushdown automaton
1+1+1+1+…
1 + 1 + 1 + 1 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯1/2 − 1/4 + 1/8 − 1/16 + ⋯
1/2 − 1/4 + 1/8 − 1/16 + ⋯1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/100
Hundredth
Annals of Mathematics
Annals of Mathematics
CFL条件
Courant–Friedrichs–Lewy condition
E (計算複雑性理論)
E (complexity)
ESPACE
ESPACE
GIMPS
Great Internet Mersenne Prime Search
L-system
L-system
LaTeX
LaTeX