문법의 모호성을 검사하십시오.

Question

다음은 모호한지 여부를 확인하려는 문법 조각의 추출물입니다.

Y->b 
Y->Z 
Z->bW 
W->d 
W->ϵ 

나는 문법의 첫 번째 세트를 계산할 때 나는 내가 알고 싶은 것은 충분 문법이 증거를 주어진 것을 증명하는 것입니다 Y.

First(Y) = {b,First(Z)} 
First of Z = b so I have the set First(Y)={b,b}. 

의 처음이 불규칙 우연히 발견 모호한가요? 또는 First(Y) = {b}이어야합니다.

Answer 1

문법이 모호하다는 것을 증명하려면 결과를 얻는 데 적어도 두 가지 다른 방법이 있음을 입증해야합니다.

Y -> b 
Y -> Z 
Z -> bW 
Y -> d 
W -> ϵ 

첫 번째 방법 :

Y -> b 

당신에 의해 표현 b을 유도 할 수있어 이후

, 귀하의 예를 고려하고 편집을 고려, 당신은 모호한 문법을해야합니까

두 번째 방법 :

Y -> Z 
Y -> Z -> bW 
Y -> Z -> bW -> bϵ 
Y -> Z -> bW -> bϵ -> b 

이것은 모호한 문법입니다.