Diskussion:Deterministisch kontextfreie Sprache
aus Wikipedia, der freien Enzyklopädie
Unter den Abschlusseigenschaften war aufgeführt, dass DCFL abgeschlossen unter Epsilon-freien Homomorphismen ist. Hab's geändert. Hier dazu das Gegenbeispiel:
DCFL sind nicht abgeschlossen unter Anwendung Epsilon-freier Homomorphismen.
DP = deterministischer Kellerautomat
DP = DCFL
h sei ein Epsilon-freier Homomorphismus:
Dann gilt:
(Der vorstehende, nicht signierte Beitrag stammt von 84.186.34.230 (Diskussion • Beiträge) 1:56, 21. Mar 2007) -- PvQ Bewertung - Portal 01:57, 21. Mär. 2007 (CET)