1277.14 입력 알파벳의 형식적 정의