TH Informatik frage turingmaschine

[FoSAP] Formale Systeme, Automaten, Prozesse
[BuK] Berechenbarkeit und Komplexität
[MaLo] Mathematische Logik

TH Informatik frage turingmaschine

Beitragvon jochen1980 » 30.04.14 13:22

wie kann ich beweisen dass für jede Turingmaschine M eine äquivalente Turingmaschine M0 existiert, die

– genau einen akzeptierenden Zustand q3 hat,

– genau einen Zustand q7 hat, in welchem Sie verwirft,

– keine Zustandsübergänge von q3 und q7 erlaubt.
jochen1980
 
Beiträge: 1
Registriert: 30.04.14 13:16
Studiengang: Informatik (B.Sc.)

Re: TH Informatik frage turingmaschine

Beitragvon AGo » 28.06.14 15:38

Na du kannst sie einfach konstruieren, schonmal überlegt was du dazu machen musst?
Benutzeravatar
AGo
0x41476F
 
Beiträge: 2181
Registriert: 09.09.05 18:21
Wohnort: Awf
Studiengang: Informatik (Dipl.)
Anwendungsfach: BWL


Zurück zu Theoretische Informatik