1277.3 오토마타 이론과 유한 상태 머신의 관계