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

In Kapitel 4 Aufgabe 29 wird in Teilaufgabe b) nach der Sprache gefragt, die der Automat akzeptiert.

Die Lösung lautet: L(A) = {w element {0,1}* | |w| > 0 und |w|0 mod 2 = 0 } 
Der Automat akzeptiert nur nichtleere Wörter. Müsste ich dann in der Definition nicht ein "+" im Exponenten schreiben anstatt einem " * ", um dies zu verdeutlichen und es nicht erst extra im zweiten Teil der Definition hinter dem trennenden „|“ aufführen als "|w| > 0“ ?
 
In Kapitel 2 Aufgabe 9 wird die Sprache L(A1) so angegeben:
L(A1)= {w element {a,b,c}+ | mindestens ein v element {a,b,c}* : w = vabc}
Hier ist das + vorne, auch hier ist ein akzeptiertes Wort auf jeden Fall nichtleer, denn nur so kommt man in den Endzustand. Wieso ist es hier anders als oben?
in SPR-AA von utdtz utdtz Eins-Komma-Null-Anwärter(in) (3.1k Punkte)  

1 Eine Antwort

2 Pluspunkte 0 Minuspunkte
Hey,

bei beiden Sprachen hast du richtig erkannt, dass durch die Form der Bedingungen das leere Wort nicht in den Sprachen enthalten ist. Ob du nun vorne bei der Definition der Zeichenmenge ein + oder * in den Exponenten schreibst, spielt für die Sprache somit keine Rolle: Das leere Wort ist durch die Bedingung in beiden Fällen nicht in der Sprache und soll das auch nicht. Du würdest in beiden Fällen die selbe Sprache definieren.

Bei der Sprache in Kapitel 4 Aufgabe 29 muss also nicht ein + im Exponenten stehen, kann es aber.

Mein persönlicher Ratschlag: Wenn die, zu beschreibende Sprache das leere Wort nicht enthalten soll, das + in den Exponenten schreiben. Damit läuft man nicht in Gefahr, dass "ausversehen" doch das leere Wort in der Sprache enthalten ist, falls man beim Aufstellen der Bedingung das leere Wort nicht ausschließt.

Viele Grüße
Ashvin (Tutor)
von uxdiu uxdiu Tutor(in) (102k Punkte)  
...