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 nukit-fragen bewertung zugriffsarten von-neumann-rechner umformung adressierung mengen binär-subtrahieren organsiation

Kategorien

1 Pluspunkt 0 Minuspunkte
91 Aufrufe
(s0, a, k0) ->(s0, ak0}

(s0, a, a) -> (s1,a)

(s1,b,a) ->(s1,b)

(s1, a , b) ->(s0,a)

(s1,lambda,b) ->(s2, lambda)

(s2, lambda, k0) -> (se, k0)
bezieht sich auf eine Antwort auf: Lösungsvorschlag
in KEL-AB von ugemt ugemt Eins-Komma-Null-Anwärter(in) (2.0k Punkte)  

1 Eine Antwort

0 Pluspunkte 0 Minuspunkte
Hallo ugemt,
 
dieser Kellerautomat ist zwar nicht minimal (wird hier allerdings nicht gefordert), aber er kann die Sprache erkennen.
 
Bitte beim nächsten Mal den KA komplett angeben:
 
$ A = \{ \{ a , b \} , \{ s_0 , s_1 ,s_2 , s_e \} , \{ k_0 , a, b \} , s_0 , k_0 , \{ s_e \} \} $
 
$ (s_0 , a, k_0)  \rightarrow (s_0 , ak_0) $
 
$ (s_0, a, a)  \rightarrow  (s_1,a) $
 
$ (s_1,b,a)  \rightarrow (s_1,b) $
 
$ (s_1, a , b)  \rightarrow (s_0,a) $
 
$ (s_1, \lambda,b)  \rightarrow (s_2, \lambda) $
 
$ (s_2, \lambda, k_0)  \rightarrow  (s_e, k_0) $
 
Weiter so,
 
Marvin (Tutor)
von ucdxg ucdxg Tutor(in) (104k Punkte)  
Bearbeitet von
...