"Offensichtlich gilt h(LT) = DUP\{lambda}…"
Warum ohne lambda ?
Vorher wurde doch der Homomorphismus h(x) = { a, falls x = (,
b, falls x = ),
lambda, sonst
angewandt.
Da sind doch einige lambdas entstanden…
"Offensichtlich gilt h(LT) = DUP\{lambda}…"
Warum ohne lambda ?
Vorher wurde doch der Homomorphismus h(x) = { a, falls x = (,
b, falls x = ),
lambda, sonst
angewandt.
Da sind doch einige lambdas entstanden…
[img]
http://mokrates.de/cgi-bin/texstring?%24%5Clambda%24[/img] bezeichnet das leere Wort, und das erhält man nur, wenn es das einzige ist was übrig bleibt!
Eine Termdarstellung eines Ableitungsbaumes in [img]
http://mokrates.de/cgi-bin/texstring?%24L_T%24[/img] hat aber jeder Ableitungsbaum eines erzeugten Wortes IMMER Klammern!
Ein Wort, wie z.B. "S(a)" wird mit h abgebildet auf "ab", denn alles andere wird auf
[img]
http://mokrates.de/cgi-bin/texstring?%24%5Clambda%24[/img] abgebildet.
Aber "[img]
http://mokrates.de/cgi-bin/texstring?%24%5Clambda%24[/img]a[img]
http://mokrates.de/cgi-bin/texstring?%24%5Clambda%24[/img]b" gibt es nicht, denn [img]
http://mokrates.de/cgi-bin/texstring?%24%5Clambda%24[/img] ist KEIN (NIEMALS ein!) Symbol der benutzten Alphabete!!!!
So kurz vor der Klausur ist die Frage nicht gerade ermutigend…
So kurz vor der Klausur ist die Frage nicht gerade ermutigend…
warum,… [Powerlearning] hehe [img]
http://www.fb18.de/gfx/10.gif[/img]