教科書-thales.philos.k.hosei.ac.jp.ppt

Myhill-Nerodeの定理 [定理]（Myhill-Nerode）つぎの１～３は同値。 L∈S*は有限オートマトンの受理集合である。 Lは右不変で有限の指数を持つ同値関係のいくつかの同値類の和に等しい。 RLの指数は有限。 Myhill-Nerodeの定理の証明（1?2） DFA　M=Q, S, d, q0, FがLを受理するとする。 ２つの語について「同じ状態に導く」という関係RM は右不変な同値関係である。 LはF属する状態fに導く同値類の和である。 Myhill-Nerodeの定理の証明（2?3） Eを右不変で指数有限の同値関係とし、LがEの同値類の和であるとする。EがRLの細分であることを示す。すなわち、xEy?xRLyをいう。（細分の指数の方が大きいからこれがいえればRLの指数有限がいえたことになる。） xEyと仮定する。Eは右不変であるから任意のz∈S*についてxzEyzとなる。 ところでLがEの同値類の和であるからxzEyzならばxz,yzはいずれもLに属す（[w]∈Lのとき）かいずれも属さない（それ以外）。 以上により、xRLy Myhill-Nerodeの定理の証明（3?1） M=Q’, S, d’, q0’, F’を次のように定める。 Q’はS*のRLによる同値類集合S*/RLとする。すなわち、 Q’= S*/RL d’: Q’×S* → Q’は次で定