マイヒル-ネローデの定理は、"l" を受容する最小オートマトンの状態数が "rl" の同値類の数と等しいとする。