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

Beliebteste Tags

verständnis alternativlösung klausur kellerautomat endlicher-automat grammatik regulärer-ausdruck turingmaschine pumpinglemma tipp zahlendarstellung cmos bonusklausur klausurrelevant komplexität schaltwerk binary-decision-diagram deterministisch assembler schaltnetz minimierung sprachen nichtdeterministisch huffman chomsky-normalform fehler-in-aufgabe anwesenheitsübung rechtslinear heimübung flip-flop huffman-kodierung cocke-younger-kasami-algorithmus kontextsensitive-grammatik kontextfreie-grammatik fehlererkennbarkeit hauptklausur vorlesungsfolien polynomialzeitreduktion kontextfreie-sprache faq gleitkommazahl fehlerkorrigierbarkeit rechtslineare-grammatik dateiorganisation cache darstellung-klausur nachklausur xwizard adressierungsarten mealy lambda endliche-automaten konjunktive-normalform pipelining zustände saalübung leeres-wort moore ohne-lösungen betriebssystem speicherorganisation monotone-grammatik 2-komplement hammingzahl lösungsweg fehler pumping-lemma-für-kontextfreie-sprachen pumping-lemma reguläre-sprache monoton kodierung berechenbarkeit klausureinsicht disjunktive-normalform abzählbarkeit info-ii bussysteme rechnerarchitektur entscheidbarkeit komplexitätsklassen chomsky-klassen ableitungsbaum vorlesungsaufzeichnung round-robin aufzählbarkeit minimierung-endlicher-automaten von-neumann-rechner binärzahl entscheidbar programmiersprachen stern-symbol automaten schaltnetze-und-schaltwerke nukit-fragen bewertung zugriffsarten umformung adressierung mengen binär-subtrahieren

Kategorien

0 Pluspunkte 0 Minuspunkte
38 Aufrufe
Ich hab dazu auch noch folgende Frage:

Angenommen wir haben das Wort aabb und wir sollen prüfen, ob der (ndet.) Kellerautomat (KA) die Sprache a^nb^n erkennt. Wenn ich jetzt folgende zwei Zustandsübergange definiere:

(s0,lambda,k0) -> (se,k0)

(s0,a,k0) -> (s0,ak0)

Könnte es dann sein, dass der KA das Wort aabb gar nicht liest und deswegen den ersten Übergang wählt?

Also im Endeffekt sind das ja nicht genau die gleichen Übergänge, jedoch habe ich schon bei Aufgaben gesehen, dass wenn sowas auftaucht, der KA nicht deterministisch ist.
in KEL-AA von ueyfv ueyfv Lernwillige(r) (310 Punkte)  

1 Eine Antwort

1 Pluspunkt 0 Minuspunkte
Hallo ueyfv,

dein vorgeschlagener Automat ist in der Tat nichtdeterministisch, da ein Lambda-Übergang im Startzustand möglich ist. Zu Beginn kann der Automat also theroretisch entweder in s0 bleiben oder in se wechseln.

Bei der Frage, ob der nichtdeterministische Kellerautomat das Wort aabb erkennt, musst Du Dir alle möglichen Übergänge anschauen. Falls eine Folge von Zustandsübergängen existiert, nach der der Kellerautomat nach Abarbeitung des Wortes im Endzustand landet, so ist er auch in der Lage, das Wort zu erkennen. Unabhängig davon, ob er am Anfang auch einen anderen Übergang wählen kann oder nicht.

Viele Grüße

Jannik (Tutor)
von ukesu ukesu Lernwillige(r) (280 Punkte)  
0 0
Heißt das also, dass sobald ein Lambda-Übergang existiert, dass der KA nicht deterministisch ist?
1 0
Falls ein Lambda-Übergang von s0 aus existiert, stimmt Deine Aussage.

Falls ein Lambda-Übergang in einem anderen Zustand existiert, muss man den Automaten genauer untersuchen. In Tut 2 Aufgabe 5 siehst Du z.B. einen deterministischen Kellerautomaten, der einen Lambda-Übergang in s1 besitzt.
0 0
Ja okay, deinen ersten Fall hatte ich eigentlich auch gemeint.
Besten Dank!
...