2013-08-21 5 views
0

시험에 대한 수정을 위해 시험 문제를하고 있습니다. 질문 중 하나는 이전 질문에서 계산 된 첫 번째 및 후행 집합에서 LL (1) 구문 분석 표를 생성하는 것입니다.셀에 항목이없는 열이있는 경우 LL (1) 구문 분석 표를 사용할 수 있습니까?

이제 처음 세트를 만들고 올바르게 세트를 작성했으며 테이블에 셀에 중복 항목이 없으므로 문법이 유효한 LL (1) 문법이라고 가정했습니다. 유효한지, 왜 내가 테이블을 만들 필요가 있는지를 결정하라는 질문을 받는다).

그러나 다음 질문은 분명히 (1)

그래서 내 질문은 사실이 개 질문입니다 LL 아니라는 것을 암시 유효한 LL (1) 문법으로 문법을 변환하는 것입니다.

항목이없는 열이 있기 때문에 문법이 LL (1) 문법이 아닌가?

또는이가 LL에서 허용하는 경우

(1) 테이블을 분석, 내가 제에 따라 세트를 만드는 잘못된 가능성이 높습니다입니까? 열이 어떤 기호가 없음을 위해 여기

내 질문에서 작동하고 상자에있는 문법 http://imgur.com/UwmOAvX

+1

''FIRST (D)''는''x''를 포함해야하고,''$''에 대한 열을 LA 테이블에 포함시켜야합니다. 그러나 주된 문제는 "LA (D, z)"는 "3"이지만 "D-> 3"는 문법의 생산이 아니라는 것입니다. 또한''LA (F, z)''는''3''이어야합니다. FIRST, FOLLOW 및 LA 계산 ​​알고리즘을 공개하지 않으므로 내가 제공 할 수있는 모든 도움이됩니다. – Apalala

답변

1

그것은 완벽 괜찮습니다 - 단지 의미한다는 것을에없는 문제의 터미널 리드 컨텍스트 어디에도 나타나지 않는 기호 (예 : )은 종종 이러한 기호가됩니다)에 대해 쉽게 발생할 수있는 비단 호의 첫 번째 세트입니다.

문제가있는 것 같습니다. 테이블에 B -> B v 규칙을 쓰는 것을 잊었습니다. FIRST (D)와 FOLLOW (B)에도 오류가 있습니다. 후자는 전자에서 유래합니다.

+0

좋아요! 적어도 나는 그것을 지금 알고있다. 나는 내일이 같은 질문에 또 다른 시도를하고 내가 어떻게되는지 보게 될 것이다. 대단히 감사합니다. – Ian