2x2 - Theoretische Informatik - Universität Duisburg-Essen
2x2 - Theoretische Informatik - Universität Duisburg-Essen
2x2 - Theoretische Informatik - Universität Duisburg-Essen
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Kontextsensitive und Typ-0-Sprachen<br />
Berechenbarkeitstheorie<br />
Komplexitätstheorie<br />
Berechnungsmodelle<br />
Unentscheidbarkeit<br />
Unentscheidbare Probleme<br />
Kontextsensitive und Typ-0-Sprachen<br />
Berechenbarkeitstheorie<br />
Komplexitätstheorie<br />
Berechnungsmodelle<br />
Unentscheidbarkeit<br />
Unentscheidbare Probleme<br />
Adventure-Problem (Level 4)<br />
Übersetzung: Goto-Programm → Adventure<br />
Adventure-Problem (Level 4)<br />
Übersetzung: Goto-Programm → Adventure<br />
yes<br />
x 1 = 0<br />
no<br />
x 2 := x 2 + 1<br />
If . . . Then. . .<br />
x 2 := x 2 − 1<br />
Kontextsensitive und Typ-0-Sprachen<br />
Berechenbarkeitstheorie<br />
Komplexitätstheorie<br />
Adventure-Problem (Level 4)<br />
Barbara König BeKo/TI 192<br />
Berechnungsmodelle<br />
Unentscheidbarkeit<br />
Unentscheidbare Probleme<br />
Übersetzung: Goto-Programm → Adventure<br />
Kontextsensitive und Typ-0-Sprachen<br />
Berechenbarkeitstheorie<br />
Komplexitätstheorie<br />
Adventure-Problem (Level 4)<br />
Barbara König BeKo/TI 192<br />
Berechnungsmodelle<br />
Unentscheidbarkeit<br />
Unentscheidbare Probleme<br />
Übersetzung: Goto-Programm → Adventure<br />
yes<br />
x 2 = 0<br />
no<br />
Halt<br />
If . . . Then. . .<br />
Mit “Schatz” beschriftete Transitionen können auch zum Zusammenfügen<br />
der einzelnen Teilautomaten verwendet werden.<br />
Barbara König BeKo/TI 192<br />
Barbara König BeKo/TI 192