2014-04-05 9 views
0

내가이 말SLR 구문 분석은 엡실론 생산

다음

S' -> .S
S의 폐쇄 :
A -> .B C A a, A -> .
클로저에는 분명히 B -> .kB -> .이 포함됩니다.

그러나 B -> ε가 생산이므로 초기 상태로 C -> ,m을 포함해야합니까? A -> B C A a에서 B는 ε 일 수 있습니다.

내가 옳은지, 이것이 엡실론을 문법으로 다루는 올바른 방법인지 궁금하다. 그렇지 않다면 나를 올바른 방향으로 인도하십시오. 감사! C합니다 (ε에서 B이 감소된다하더라도) 선행 B없이 감소 될 수 없기 때문에

답변

1

아니 C -> . m는, 초기 상태의 일부가 아니다.