Als «formal-grammars» getaggte Fragen

11
Verfeinerungsarten ableiten

Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...

11
Wie ist diese Grammatik LL (1)?

Dies ist eine Frage aus dem Drachenbuch. Das ist die Grammatik: S→AaAb∣BbBaS.→EINeinEINb∣B.bB.einS \to AaAb \mid BbBa B → εA→εEIN→εA \to \varepsilon B→εB.→εB \to \varepsilon In der Frage wird gefragt, wie gezeigt werden kann, dass es sich um LL (1) handelt, nicht jedoch um SLR (1). Um zu beweisen,...