1277.23 정규 문법과 유한 상태 머신의 관계