1277.51 양방향 유한 오토마타 (2DFA)의 정의