2x2 - Theoretische Informatik - Universität Duisburg-Essen
2x2 - Theoretische Informatik - Universität Duisburg-Essen
2x2 - Theoretische Informatik - Universität Duisburg-Essen
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