クローン–ローズの定理

3行要約

1. 任意の有限オートマトンが、単純群とリセットオートマトンの組み合わせで分解できるという定理。
2. 代数的オートマトン理論における中心的な成果であり、構造の複雑さを分類する。
3. 群論の知見を計算モデルの解析に応用した画期的な理論である。