マイヒル–ネローデの定理
マイヒル–ネローデの定理(英: Myhill–Nerode theorem)とは、ある形式言語が正規言語であるための必要十分条件を提示した定理である。ほとんどの場合、ある言語が正規言語でないことを証明するのに使われる。
名称は1958年にこの定理を発見したシカゴ大学の John Myhill と Anil Nerode が由来である。