The minimal automaton accepting our language would have three states corresponding to these three equivalence classes.
従って、その言語を受容する最小オートマトンは、それぞれの同値類に対応した3つの状態を持つことになる。