15.09.2014 Aufrufe

2x2 - Theoretische Informatik - Universität Duisburg-Essen

2x2 - Theoretische Informatik - Universität Duisburg-Essen

2x2 - Theoretische Informatik - Universität Duisburg-Essen

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

Kontextsensitive und Typ-0-Sprachen<br />

Berechenbarkeitstheorie<br />

Komplexitätstheorie<br />

Kontextsensitive und Typ-0-Sprachen<br />

Berechenbarkeitstheorie<br />

Komplexitätstheorie<br />

Turingmaschinen<br />

Turingmaschinen<br />

Simulation<br />

□ 1 0 1 1 1 □<br />

Simulation<br />

□ 1 0 1 1 1 □<br />

Zustand:<br />

Zahlende finden<br />

z 0<br />

Zustand:<br />

Zahlende finden<br />

z 0<br />

□: Leerzeichen auf dem Band<br />

□: Leerzeichen auf dem Band<br />

Turingmaschinen<br />

Kontextsensitive und Typ-0-Sprachen<br />

Berechenbarkeitstheorie<br />

Komplexitätstheorie<br />

Barbara König BeKo/TI 37<br />

Turingmaschinen<br />

Kontextsensitive und Typ-0-Sprachen<br />

Berechenbarkeitstheorie<br />

Komplexitätstheorie<br />

Barbara König BeKo/TI 37<br />

Simulation<br />

□ 1 0 1 1 1 □<br />

Simulation<br />

□ 1 0 1 1 1 □<br />

Zustand:<br />

Zahlende finden<br />

z 0<br />

Zustand:<br />

Zahlende finden<br />

z 0<br />

□: Leerzeichen auf dem Band<br />

□: Leerzeichen auf dem Band<br />

Barbara König BeKo/TI 37<br />

Barbara König BeKo/TI 37

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!