Thema5

Aus ProgrammingWiki
< BuK < IIm12 < Studenten < siclsche
Archivierte Version vom 2013-04-25T09:38:46+00:00. Aktuelle Version

Aufgabe 1

Geben Sie Trichterbilder für den Einsatz einer TM als Akzeptator an:

1. für semi-entscheidbare Sprachen.

Siclsche_TM-Semientscheidbar.jpg.png

2. für entscheidbare Sprachen.

Siclsche_TM-Entscheidbar.jpg.png

Aufgabe 2

Entwickeln Sie eine Turing-Maschine, welche die konstante Funktion f(x)=5 für alle x\in\mathbb{N} berechnet.

Siclsche_TMkonsFkt.jpg