«ambiguity» 태그된 질문

왼쪽 또는 오른쪽 파생 트리가 두 개 이상 있으면 문법이 모호하지만 모든 사람이 제거하기를 원하는 이유를 이해할 수 없습니다.

30 compilers  ambiguity 

내 문제는 문법이 명확하다는 것을 어떻게 증명할 수 있는가? I는 다음의 문법을 가지고 S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression \mbox{ then } S \mbox{ else …

25 context-free  formal-grammars  proof-techniques  ambiguity 

언어 와 주어지면 , 모든 단어 에 와 와 정확히 하나의 분해 가 그렇지 않으면 모호한 경우 , 그들의 연결 가 모호하지 않다고 가정 해 봅시다 . (이 속성에 대해 확립 된 용어가 있는지 모릅니다. 검색하기 어려운 것입니다!) 사소한 예로서, 자체 연결은 모호합니다 ( )이지만 연결 자체는 분명합니다.AAABBBABABABw∈ABw∈ABw \in ABw=abw=abw …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

다음 문맥 자유 문법 선물은 "다른 매달려"유형의 모호성 (상상 의미 와 의미 와 명령 또는 블록의 다른 종류의 약자) : 예를 들어, 는 또는 로 구문 분석 될 수 있습니다 이 문법에서 가장 단순하고 가장 짧은 모호한 단어입니다).aaaif expr thenbbbelsecccS→aSbS|aS|cS→aSbS|aS|c \begin{aligned} S &\rightarrow aSbS \;|\; aS \;|\; c\\ \end{aligned} aacbcaacbcaacbc(a(acbc))(a(acbc))(a(acbc))(a(ac)bc)(a(ac)bc)(a(ac)bc) …

9 context-free  formal-grammars  parsers  ambiguity 

Earley 벡터를 인식기로 사용하는 것은 매우 간단합니다. 스트링의 끝에 도달하면 위치 0에서 시작된 완료된 축산 생산을 확인하기 만하면됩니다. 하나 이상이 있으면 스트링이 승인됩니다. Earley 벡터를 사용하여 구문 분석 트리를 재구성하는 것은 덜 명확합니다. 실제로 알고리즘 절차가 어떻게 작동하는지 알 수 없으며, 내가 찾은 유일한 참조는 모호하거나 슈퍼 테크니컬 한 것입니다. …

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees