Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Kontextfreie Sprachen<br />
Deterministisch kontextfreie Sprachen<br />
Definition<br />
Eine Sprache heißt deterministisch kontextfrei, wenn sie von einem<br />
deterministischen Kellerautomaten erkannt werden kann.<br />
Beispiel<br />
Die Sprachen D 1 und { a n b n : n ∈ N } sind deterministisch kontextfrei,<br />
denn die auf den Seiten 152 bzw. 153 angegebenen Kellerautomaten für<br />
diese Sprachen sind deterministisch:<br />
In beiden Fällen gibt es keine spontanen Übergänge. Damit reduziert sich<br />
die Überprüfung des Determinismus darauf festzustellen, ob mehrere<br />
Kanten vom selben sichtbaren Zustand aus dasselbe mittlere Label tragen.<br />
Proposition<br />
Die Klasse der deterministisch kontextfreien Sprachen enthält die Klasse<br />
der reguären Sprachen echt.<br />
Aber ist jede kontextfreie Sprache schon deterministisch kontextfrei<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 172 / 191
Change language