1277.78 Muller 오토마타의 정의