マイヒル–ネローデの定理

3行要約

1. ある言語が正規言語であるための必要十分条件を、右合同関係の指数で与える定理。
2. 有限オートマトンの最小状態数を決定するための理論的基礎となる。
3. 計算機科学において、言語の複雑さを解析する上で不可欠な道具。