LR(1) 파서가 C의 모호한 선언 구문을 처리할 수 없는 이유는 무엇입니까?

C가 LR(1) 구문 분석을 거부하는 이유

C를 포함한 많은 프로그래밍 언어는 LR(1) 구문 분석기를 사용하여 효과적으로 구문 분석할 수 있습니다. 그러나 C는 이 규칙의 예외로서 기존 LR 구문 분석 기술에 고유한 도전 과제를 제기합니다.

선언 구문의 모호성

C의 핵심 구문 분석 복잡성은 선언 구문에 있습니다. 다음 명령문을 고려하십시오.

x * y ;

이 명령문은 두 가지 서로 다른 방식으로 해석될 수 있습니다.

• x 유형에 대한 포인터로서 y를 선언하는 것
• As x와 y 사이의 곱셈 연산, 결과 폐기

이 모호함은 다음 사실에서 발생합니다. C에서는 별표(*) 기호를 포인터 선언과 곱셈 연산자로 모두 사용할 수 있습니다.

LR 구문 분석의 한계

LR(1) 파서는 LL(1) 문법을 처리하도록 설계되었습니다. 즉, 문법의 각 비종단 기호는 모든 입력 기호에 대해 최대 하나의 확장이 가능하다는 의미입니다. 그러나 C 선언 구문의 모호성은 * 기호가 포인터 선언이나 곱셈 연산으로 확장될 수 있기 때문에 이 조건을 위반합니다.

이러한 근본적인 제한으로 인해 LR(1) 파서가 모호성을 올바르게 해결하지 못합니다. C 선언 구문에서

과제 극복

C를 구문 분석하려면 효과적으로 컴파일러는 일반적으로 LR(1) 구문 분석의 제약을 뛰어넘는 보다 정교한 기술을 사용합니다. 몇 가지 일반적인 접근 방식은 다음과 같습니다.

• 기호 테이블 컬렉션과 구문 분석 얽기: 이 기술을 사용하면 구문 분석기가 런타임에 x 유형을 결정하여 명령문에 대한 두 가지 가능한 해석을 명확하게 할 수 있습니다. .
• 의미 검사: 파서는 다음에서 의미 검사를 수행할 수 있습니다. 모호한 구문의 의도된 해석을 결정하기 위한 다양한 지점.
• GLR 구문 분석: GLR 구문 분석기는 무한한 예측을 허용하고 가능한 모든 구문 분석을 나타내는 방향성 비순환 그래프(DAG)를 생성하여 모호한 구문을 처리합니다. .

이러한 기술은 LR(1) 구문 분석의 한계를 극복하고 C 의 정확한 해석을 가능하게 합니다. 어려운 문법.

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