05.11.2013 Aufrufe

Handout - Institut für Theoretische Informatik - Technische ...

Handout - Institut für Theoretische Informatik - Technische ...

Handout - Institut für Theoretische Informatik - Technische ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

Übersicht: Turingmaschinen I<br />

2 3. Turingmaschinen<br />

3.0 Vorüberlegung<br />

3.0.0 Turingmaschinen formal<br />

3.0.1 Darstellung von Turingmaschinen<br />

3.1 Entscheidbare Sprachen/Probleme<br />

3.2 Die Chomsky-Hierarchie formaler Sprachen<br />

3.3 Abschlußeigenschaften (semi-)entscheidbarer Sprachen<br />

3.4 Turing-berechenbare partielle Funktionen<br />

Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 2 SS 2012 3 / 215

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!