1277.52 양방향 유한 오토마타와 단방향 유한 오토마타의 동치성