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

Kategorien

1 Pluspunkt 0 Minuspunkte
102 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.
...