>>32
横からだけど正規言語(簡単にはDFAで受理可能な言語集合)の必要十分条件のやつだね