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

Fehlerhafte Lösung?

0 Punkte
87 Aufrufe
Guten Morgen,

 

müssten nicht noch zwei Übergänge:

 

(s1,1,k0) -> (s1,1k0)

(s1,0,k0) -> (s1,0k0)

definiert werden?

Bsp Testwort 010101 kann ich doch momentan mit der Grammatik garnicht akzeptieren, aber ist doch in der Sprache drinnen oder?

Oder kann ich durch (so,lamda,ko) -> (s0,k0) gehen (also intern) und dann von s0 aus wieder starten?

 

vielen dank
Gefragt 9, Feb 2018 in AU-2-3 von Anonym  

Eine Antwort

0 Punkte
Hallo,

 

den Lambda-Übergang kannst du immer verwenden, sobald der Zustand und der Keller stimmt, da du das Leere Wort quasi überall einfügen kannst (deshalb muss man hier auch immer bei deterministischen Automaten aufpassen).

Wie du dann richtig erkannt hast, kann man so wieder zurück zum Anfang und das Wort weiter bearbeiten.

 

Viele Grüße

 

Youri (Tutorin)
Beantwortet 9, Feb 2018 von upecw upecw Lernwillige(r) (760 Punkte)  
...