Theoretische und technische Informatik - ganz praktisch
Herzlich willkommen auf der Question/Answer-Plattform zu Grundlagen der Informatik II. Wir wünschen Ihnen viel Spaß beim Lernen und Diskutieren!
Loggen Sie sich mit Ihrem KIT-Account (u...) ein, um loszulegen!
Beachten Sie auch diese Informationen zum Schnelleinstieg.
(Nicht-KIT-Studierende beachten bitte diese Informationen.)

Beliebteste Tags

verständnis alternativlösung klausur kellerautomat endlicher-automat grammatik regulärer-ausdruck pumpinglemma turingmaschine tipp zahlendarstellung cmos klausurrelevant bonusklausur komplexität schaltwerk binary-decision-diagram deterministisch assembler schaltnetz sprachen minimierung nichtdeterministisch huffman fehler-in-aufgabe chomsky-normalform anwesenheitsübung rechtslinear heimübung flip-flop cocke-younger-kasami-algorithmus kontextsensitive-grammatik kontextfreie-grammatik huffman-kodierung hauptklausur fehlererkennbarkeit vorlesungsfolien kontextfreie-sprache polynomialzeitreduktion faq gleitkommazahl fehlerkorrigierbarkeit rechtslineare-grammatik dateiorganisation cache darstellung-klausur nachklausur xwizard adressierungsarten lambda mealy konjunktive-normalform pipelining zustände saalübung leeres-wort endliche-automaten ohne-lösungen betriebssystem speicherorganisation moore monotone-grammatik 2-komplement fehler reguläre-sprache hammingzahl monoton lösungsweg pumping-lemma-für-kontextfreie-sprachen kodierung berechenbarkeit klausureinsicht disjunktive-normalform pumping-lemma info-ii bussysteme rechnerarchitektur abzählbarkeit komplexitätsklassen ableitungsbaum vorlesungsaufzeichnung round-robin minimierung-endlicher-automaten chomsky-klassen binärzahl entscheidbar programmiersprachen entscheidbarkeit aufzählbarkeit stern-symbol automaten nukit-fragen bewertung zugriffsarten von-neumann-rechner umformung adressierung mengen binär-subtrahieren organsiation

Kategorien

2 Pluspunkte 0 Minuspunkte
123 Aufrufe
Die Aufgabe HK 15 A4:
 

Es steht: Gebe eine Turingmaschine an, für die gilt L(T)=L. T ist (...), der in einem Endzustand anhält, falls w Element L ist.

Da steht ja nicht, dass wenn das Testwort nicht akzeptiert wird, es anhalten muss.

also wäre es auch richtig bei der Aufgabenstellung eine Turingmaschine zu schreiben, die nur anhält, wenn das Testwort existiert? (Volle punktzahl möglich?
bezieht sich auf eine Antwort auf: alternative Turingmaschine richtig?
in 2015-H-04 von uzcwi uzcwi Lernwillige(r) (560 Punkte)  

2 Antworten

1 Pluspunkt 0 Minuspunkte
Hallo uzcwi!

Ja, das ist vollkommen richtig! Die Turingmaschine muss lediglich in einem Endzustand anhalten (= akzeptierende Endkonfiguration), wenn das Wort akzeptiert wird.

Gruß,
Janine (Tutorin)
von uedqi uedqi Tutor(in) (109k Punkte)  
0 Pluspunkte 0 Minuspunkte
Technisch gesehen müsste die TM nicht anhalten, aber das ist nach Aufgabenstellung nicht so gedacht und macht Ihnen die Aufgabe auch nicht leichter. Im Normalfall ist es ganz natürlich, dass die TM immer anhält und um eine Endlosschleife einzubauen müssen Sie sich eher anstrengen.

Viele Grüße

Lukas König
von Dozent (10.1m Punkte)  
...