예를 들어 렉스 (Lex)와 같은 어휘 (lexical) 사양에서 지정된 동작은 어떻게됩니까

Question

저는 Andrew Appel의 C로 현대 컴파일러 컴파일을 읽었습니다. 어휘 분석 단계에서 문자 스트림은 토큰으로 변환됩니다. 토큰은 어휘 표현식과 어휘 스펙에 수반되는 조치로 설명됩니다. 정규 표현식의 순서는 중요하며 동등한 NFA를 DFA로 변환 할 때 인코딩 될 우선 순위를 결정합니다.

어휘 사양이 완료되어야합니다. 그것이 Appel이 마지막 정규 표현식과 함께 error() 액션을 추가 한 이유입니다.

이 어휘 사양은 Lex (어휘 분석 생성기)의 어휘 사양과 매우 유사하게 보입니다.

전환 매트릭스를 인코딩하는 동안 데드 스테이트가 추가됩니다. 이제 제 질문은 죽은 상태에서 일어나는 일입니다. 내 생각에 어휘 사양이 완전하지 않기 때문입니다. 죽은 상태로 끝날 수도 있습니다. 그러나 어휘 사양에서이 작동 불능 상태에 대한 어떤 조치도 지정되지 않았습니까?

그래서에만 illegal characters 감지 것 같다하지만 if* 죽은 상태로 끝날 것인가?

Answer 1

if*은 죽은 상태가됩니다. 따라서 토큰은 if 바로 뒤에 인식되어 종료됩니다.

파서가 다음 토큰을 요청할 때 if 바로 다음에 시작하여 *을 감지하고 최종 상태로 들어가지만이 시점부터 다른 최종 상태로 절대 들어가지 않고 영구히 죽은 상태가됩니다. 따라서 토큰은 * 바로 뒤에 인식되고 끝납니다.

그래서 정규식 .과 가장 긴 일치 항목을 통해 모든 오류를 항상 알 수 있습니다. 죽은 상태를 시작하면 현재 토큰의 인식이 끝나기 때문입니다.

Answer 2

모든 상태의 기본 동작은 문자를 stdout으로 출력하는 것입니다.

Appel이 . 규칙 뒤에 따옴표로 묶인 문자열 규칙을 넣었다고 생각하기가 어렵습니다.