PSS Gedächtnisprotokoll Klausur WS 0506
Hier fehlen noch ein paar Informationen, mein Gedächtnis ist da etwas lückenhaft!
1. forme die grammatik in ll1 um und zeige das sie ll1 ist. zeige das die ausgangsgrammatik nicht ll1 ist
S -> E# E -> ide | ide ( A ) A -> P | P -> P , E | E
2. schreibe einen recursive decent-/combinator-parser ohne fehlerbehandlung für die grammatik: S -> T# T -> < T T' > T' -> ide | in der sprache war: <<1 2 4> <1 4 5> 3> das ganze repräsentierte einen n-ären baum DATA absy == node(val:seq[absy]) lead(val:token) DATA token == Open Close space id(val:???)
3. SECD (\x. x(2))(\y. dup(y)) ergebnis 4 dup ist triviale operation
4. codeerzeugung int f(x:int, y:int){ if(x==0) return y else return f(x-1, x*y) } erzeuge pseudocode für eine stackartige maschine erläutere den stackframe (überlappung und sowas)
5. unifikation length: string -> nat even?: nat -> bool h: string -> ??? h(s) == ??? eval eval s eval length ??? even? ergebnis war korrekt, aber das sah vllt. auch etwas anders aus..
