LR(1) 파서가 C를 처리할 수 없는 이유는 무엇입니까?

LR(1) 파서를 사용한 C 구문 분석: 불가능한 노력

LR 구문 분석은 문맥 자유 문법을 구문 분석하기 위한 강력한 기술입니다. 그러나 Wikipedia에서 언급했듯이 C는 LR 파서에 심각한 문제를 제기합니다. 이 기사에서는 LR(1) 파서로 구문 분석하는 데 부적합하게 만드는 C의 특정 기능에 대해 자세히 설명합니다.

모호한 문법 규칙

LR 파서는 다음과 같이 설계되지 않았습니다. 모호한 문법 규칙을 처리합니다. 그러나 C에는 모호성을 유발하는 악명 높은 문이 포함되어 있습니다.

x * y ;

이 문은 y를 x 유형에 대한 포인터로 선언하거나 x와 y를 곱하여 결과를 무시하는 것으로 해석될 수 있습니다.

LR 파서의 본질적인 한계

LR(1) 파서는 제한된 수의 토큰(일반적으로 1~2개)만 미리 볼 수 있습니다. 이러한 제한으로 인해 앞서 언급한 진술의 모호성을 해결할 수 없습니다. 최종 결정을 내리려면 코드 뒷부분에 나오는 정보를 확인해야 합니다.

대체 접근 방식

C를 성공적으로 구문 분석하는 컴파일러는 다양한 전략을 사용하여 한계를 극복합니다. 순수 LR 파서. 이러한 기술은 다음과 같습니다.

• 파싱과 기호 테이블 컬렉션의 얽힘: 구문 분석이 진행되는 동안 기호에 대한 정보를 수집함으로써 컴파일러는 악명 높은 포인터 대 포인터 선언과 같은 문을 명확하게 구분할 수 있습니다. 곱셈.
• 의미 체계 검사: LR 파서는 다음을 수행할 수 있습니다. 런타임 시 다양한 해석의 유효성을 확인하기 위해 의미론적 검사를 통해 강화됩니다. 그러나 이 접근 방식은 복잡성을 더할 수 있습니다.
• GLR 파서: 이러한 더욱 정교한 파서는 가능한 모든 구문 분석을 수용하고 방향성 비순환 그래프로 표현하여 모호한 문법을 ​​처리할 수 있습니다.

결론

모호한 성격 C의 특정 문법 규칙으로 인해 LR(1) 구문 분석기를 사용하여 언어를 안정적으로 구문 분석하는 것이 불가능합니다. C를 성공적으로 구문 분석하는 컴파일러는 언어로 인해 발생하는 특정 문제를 해결하기 위해 대체 기술을 사용합니다.

위 내용은 LR(1) 파서가 C를 처리할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!