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 minimierung sprachen nichtdeterministisch huffman chomsky-normalform fehler-in-aufgabe anwesenheitsübung rechtslinear heimübung flip-flop cocke-younger-kasami-algorithmus kontextsensitive-grammatik kontextfreie-grammatik fehlererkennbarkeit huffman-kodierung hauptklausur vorlesungsfolien kontextfreie-sprache polynomialzeitreduktion faq gleitkommazahl fehlerkorrigierbarkeit rechtslineare-grammatik dateiorganisation cache darstellung-klausur nachklausur xwizard adressierungsarten lambda mealy endliche-automaten konjunktive-normalform pipelining zustände saalübung leeres-wort 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 pumping-lemma klausureinsicht disjunktive-normalform info-ii bussysteme rechnerarchitektur abzählbarkeit komplexitätsklassen ableitungsbaum vorlesungsaufzeichnung round-robin entscheidbarkeit minimierung-endlicher-automaten chomsky-klassen von-neumann-rechner binärzahl entscheidbar programmiersprachen aufzählbarkeit stern-symbol automaten schaltnetze-und-schaltwerke nukit-fragen bewertung zugriffsarten umformung adressierung mengen binär-subtrahieren

Kategorien

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