Übung 2 Nr 5 - Lösung

Question

Hallo

Kann es sein dass die Lösung fehlerhaft ist?

Es ist doch garkein Übergang für (s1,0,k0) definiert, wie kann man dann die Sprache und insbesondere das Testwort so ableiten?

Answer 1

Hallo,

Du meinst vermutlich folgendes in der Ableitung des Testworts:

(s1, 001110, k0) |- (s0, 001110, k0) 

Dies geschieht aufgrund des letzten Übergangs (s1, λ, k0) → (s0, k0) in δ. Das λ bedeutet hier (auf der linken Seite), dass nichts eingelesen wird.

Eine Erklärung zu deiner Frage gibt es bereits hier im Forum, siehe: http://info2.aifb.kit.edu/qa/index.php?qa=4729&qa_1=konfigurationsfolge-lambda-%C3%BCbergang

Bitte poste deine zukünftigen Fragen zu Aufgaben aus Übungen, Tutorien oder Altklausuren in der jeweiligen Kategorie (siehe rechts). So kann deine Frage besser zugeordnet werden und du siehst, ob es eventuell schon eine Antwort gibt. 

Viele Grüße

Laura (Tutor)