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

Schöne Ferien!
 

 

Verständnis Lambda-Übergang und Determinismus

–1 Punkt
105 Aufrufe

Hi,

Nochmal kurz eine Frage zum Lambda Übergang:

Beim lambda Übergang wird der Kellerautomat nichtdeterministisch, falls zuvor schon ein Übergang für den gleichen Zustand und das gleiche Kellerzeichen und beliebigen Bandzeichen definiert wurde. Falls nun aber für den beim lambda Übergang genutzte Zustand und dem oberste Kellerzeichen kein Übergang mit beliebigen Bandzeichen definiert wurde, bleibt der Automat deterministisch?

 

Gefragt 22, Sep 2015 in 2012-H-02 von uafjv uafjv Tutor(in) (167,990 Punkte)  

Eine Antwort

0 Punkte
Ja das ist richtig. In der Aufgabe 2 a) gibt es bei dem deterministischen KA den Übergang (s1,Lambda,k0) |- (s0,k0). Nun darf aber kein weiterer Übergang mit (s1,beliebig,k0) vorkommen, sonst wird der KA nichtdeterministisch.

Moritz (Tutor)
Beantwortet 22, Sep 2015 von uafjv uafjv Tutor(in) (167,990 Punkte)  
...