1277.8 비결정론적 유한 오토마타의 형식적 표현