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.)

Zustandswechsel

0 Pluspunkte 0 Minuspunkte
58 Aufrufe
Hi,

bei Aufgabe Tut 3.1:

Wenn man Testwort 10001110 testen möchte im 1. Schritt beim lesen der 1 wird die 1 in den Keller gelegt und Zustandswechsel in s1. Als nächstes wird einen 0 gelesen, dh. Keller ist durch lamdba wieder leer.

Meine Frage jetzt: wie kommt man von Schritt 2 zu Schritt 3, da man ja noch im Zustand s1 und nicht s0 ist. ALs nächstes wird ja der Zustand (s0, 0, k0) ausgeführt. Allerdings befindet man sich ja noch in s1, also wie kommt man wieder in s0 ?

Vielen Dank für eure Hilfe.
Gefragt 10 Jan in AU-3-1 von uyoso uyoso Lernwillige(r) (120 Punkte)  

Eine Antwort

0 Pluspunkte 0 Minuspunkte

Hallo uyoso,

hier wird nach den ersten beiden Schritten der Lamda Übergang genutzt der definiert wie folgt ist: (s1,Lambda, k0) → (s0, k0). Damit gelangt der Kellerautomat bei einem leeren Keller wieder in den Zustand s0, ohne etwas einzulesen bzw. mit dem Lesekopf einen Schritt weiter nach rechts zu gehen. In Zustand s0 liest der Kellerautomat dann die 0 im Eingabewort ein (bei einem gegenwärtig leeren Keller) und schreibt sie gemäß Überführungsfunktion (s0, 0, k0) → (s1, 0k0) in den Keller.

Ich hoffe das hilft weiter!

Viele Grüße,

Dominik (Tutor)

 

Beantwortet 10 Jan von uneqc uneqc Lernwillige(r) (710 Punkte)  
...