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!
 

 

Hauptklausur 2015 / CNF (A3)

0 Punkte
71 Aufrufe
​Eine Frage zur Aufgabe 3b:

 

Kann man hier das S-> Lamda auch stehen lassen zur Umformung in die CNF, oder muss das immer genau so gemacht werden wie hier ? Denn ich meine, dass in der Begleitlektüre steht, dass man es nicht machen muss -

Meine Lösung sieht ohne das Lamda zu entfernen ganz anders aus !

 

Danke !
Gefragt 4 Feb in 2015-H-03 von uuqmj Lernwillige(r) (340 Punkte)  
Lambdafrei machen ist einer der vier Schritte, die in der Vorlesung behandelt wurden. Das ist also nicht optional.
Hallo Herr König,
also ich finde im Buch wird das so rübergebracht, dass es optional sei, wenn S-> Lamda abbildet. ( Solange S auf keiner rechten Seite steht )
Meine ich habe das gelesen, dass man das dann so stehen lassen kann !
Klar, aber $S$ steht doch zweimal auf der rechten Seite.

Ihre Antwort

Ihr anzuzeigender Name (optional):
Datenschutzhinweis: Ihre E-Mail-Adresse wird ausschließlich benutzt, um Ihnen Benachrichtigungen zu schicken. Es gilt die Datenschutzerklärung.
Anti-Spam-Abfrage (Captcha):
Bitte loggen Sie ein oder registrieren sich, um diese Abfrage (Captcha) zu vermeiden.
...