Similar to 正規言語
グルシコフ法
Glushkov's construction algorithm正規言語の反復補題
Pumping lemma for regular languages部分集合構成法
Powerset constructionマイヒル–ネローデの定理
Myhill–Nerode theoremL-system
L-systemMizar
Mizar system0
0▼-1 trends1
12
23
34
45
56
67
78
89
912345679
有限オートマトン
Finite-state machineクローン–ローズの定理
Krohn–Rhodes theory決定性有限オートマトン
Deterministic finite automaton接尾辞オートマトン
Suffix automatonトライ (データ構造)
Trie非決定性有限オートマトン
Nondeterministic finite automatonムーア・マシン
Moore machine数学
Mathematics0.999...
0.999...▼-1 trends0次元
Zero-dimensional space0の0乗
Zero to the power of zero