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

1 Pluspunkt 0 Minuspunkte
121 Aufrufe

Fehlt hier nicht das leere wort?

 
(s0, b, k) => (s0, ak);
(s0, a, k) => (s0, ak);
(s0, b, a) => (s0, aa);
(s0, a, a) => (s0, aa);
(s0, d, a) => (s1, lambda);
(s0, c, a) => (s1, lambda);
(s1, d, a) => (s1, lambda);
(s1, c, a) => (s1, lambda);
 
(s1, lambda, a) => (se,k);
(s1, lambda, k) => (se,k);
in SAA-1-2 von uagll uagll Lernwillige(r) (1.1k Punkte)  

1 Eine Antwort

0 Pluspunkte 0 Minuspunkte
Hallo uagll,

es ist in dieser Aufgabe kein extra Zustand Se definiert. Außerdem wäre der Automat mit dem Übergang (s1, lambda, a) nicht mehr deterministisch, da für den Zustand s1 und das Kellerzeichen a bereits ein Übergang definiert ist. Der Übergang in den Enzustand mit dem leeren Wort ist aber auch nicht notwendig, weil s0 und s1 beides Endzustände sind. Das Wort wird also akzeptiert, sobald es der Automat abgearbeitet hat.

Viele Grüße

Gregor (Tutor)
von uhdzw uhdzw Tutor(in) (102k Punkte)  
2 0
Hallo,
und wenn s1 der Endzustand ist und wir z.b. aaccd(was nicht akzeptiert werden muss) eingeben, dann stoppt der Kellerautomat in s1 (was ein Endzustand ist). Und dadurch, dass nicht das ganze Wort abgearbeitet ist, kommen wir zum Schluss, dass das Wort nicht akzeptabel ist.
Also allein Endzustand bringt nichts. Verstehe ich das richtig?
Danke und Gruss
0 0
Das würde mich auch noch interessieren, also ob zum Annehmen des Wortes nicht nur erforderlich ist, dass der Automat sich im Endzustand befindet sondern auch, dass das Wort vollständig abgearbeitet wurde?
0 0
Genau so ist es.
...