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
49 Aufrufe

Hallo,

ich habe zwei Fragen:

(Kann auch gut sein dass ich was falsch verstanden habe)

1. Das leere Wort gehört doch auch zur Sprache. Warum ist dann in der ML nicht (s0,lambda,k0) definiert?

2. Würde dieser Ansatz auch funktionieren? Ist einfacher, deshalb bin ich mir unsicher.

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

(s0,1,k0) -> (se,bk0) (b entspricht 2)

(s0,1,1) -> (s0,b1)

(s0,1,b) -> (s0,bb)

(s0,1,0) -> (s0,1)

(s0,0,k0) -> (s0,0k0)

(s0,0,1) -> (s0,lambda)

(s0,0,b) -> (s0,1)

(s0,0,0) -> (s0,00)

Vielen Dank

Philipp

 

in KEL-AA von uyctv uyctv Info-Genie (21.1k Punkte)  

1 Eine Antwort

0 Pluspunkte 0 Minuspunkte
Hallo,
Zur ersten Frage: s0 ist ja Endzustand, warum sollten Sie also noch einen lambda-Übergang nach s0 benötigen? Sie sind ja bereits in s0, wenn Sie das leere Wort haben.
Zur zweiten Frage:
(s0,1,k0) -> (se,bk0): das würde bedeuten, dass Ihr KA auch nur 1 erkennt.
Durch (s0,0,k0) -> (s0,0k0) und (s0,0,1) -> (s0,lambda) erkennt ihr Automat auch 01. Auch mit dem Übergang (s0,1,1) -> (s0,b1)könnten Sie Probleme bekommen, da Sie sozusagen hinter einer ganzen Null (b) noch eine halbe Null (1) gespeichert haben. Das bekommen Sie so nicht bei allen Wörter wieder raus, z.B. bei 000110. Das ist glaube ich das Hauptproblem be Ihrem Automaten.

Viele Grüße
Friederike Pfeiffer
von uyctv uyctv Info-Genie (21.1k Punkte)  
...