Ich wollte das zwar in einen meiner Beiträge verwursteln, aber ich bin gerade derart begeistert, dass ich das unbedingt loswerden muss. Vor ein paar Stunden bin ich über ein Programm gestolpert. Es kann natürlich sein, dass die halbe Welt das schon kennt und ich mich hier als Unwissender zum Affen mache, aber das Risiko gehe […]

Update: Flüchtigkeitsfehler rausgenommen. Das ist nun die letzte Kurseinheit der theoretischen Informatik B. Traurig? 😉 In dieser Kurseinheit geht es um kontextfreie Sprachen (also Sprachen, die Typ-2 und -3 erzeugen). Am besten man betrachtet die letzten drei Kurseinheiten gemeinsam, ggf. erstelle ich eine kleine Zusammenfassung der Kernaussagen bei Gelegenheit um aus den Puzzleteilen wenigstens teilweise […]

Lernziel 7 Was sind Ableitungsbäume kontextfreier Grammatiken? Wie wir aus dem Beitrag zu KE5 bereits wissen, sind reguläre Sprachen (Typ-3, rechte Seite einer Regel besteht nur aus einem Terminal, dem ein Nonterminal folgt oder einem leeren Wort) eine echte Teilmenge der kontextfreien Sprachen (Typ-2, linke Seite der Regel besteht nur aus einem Nonterminal). Die Typ-3-Sprachen sind nur noch […]

Update 3: Korrektur der Beweisidee für Durchschnitt, nicht Vereinigung. Danke Phil. Update 2: Korrektur Aufgabe aus Lernziel 3. Danke Mike. Update: Aufgabe mit Lösung hinzugefügt um aus einem Automaten eine Regelmenge abzuleiten. Ohne viele Worte: weiter in KE6. Lernziel 3 Wie konstruiert man zu einem endlichen Automaten einen regulären Ausdruck mit ? Hier kommt einiges […]