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

Die leere Menge müsste hier doch auch noch in den Ausdruck aufgenommen werden oder wird das durch $0^\star$ dargestellt?

In den anderen Aufgaben wird  $\emptyset^\star$ ja immer noch an den Anfang des Ausdrucks gestellt um auszudrücken dass der Anfangszustand auch Endzustand ist.

bezieht sich auf eine Antwort auf: Fehlende Definition bei nEA?
in 2011-N-01 von uxdui Tutor(in) (103k Punkte)  
Bearbeitet von
0 0
Hallo uxdui,

ist Deine Frage nicht die gleiche wie in http://info2.aifb.kit.edu/qa/index.php?qa=2688&qa_1=fehlt-nicht-leere-menge-damit-s0-endzustand-ist ? Falls nein, müsstest Du sie nochmal etwas genauer spezifizieren...

Viele Grüße

Jonas (Tutor)

1 Eine Antwort

1 Pluspunkt 0 Minuspunkte
 
Beste Antwort

Zunächst einmal gibt es einen wichtigen Unterschied zwischen der leeren Menge und dem leeren Wort. Die leere Menge $\emptyset$ ist einfach eine Menge, die kein Element enthält. Das leere Wort $\lambda$ ist dagegen ein ganz normales Wort, das halt die Länge 0 hat.

Die leere Menge zu einer Sprache $L$ hinzuzufügen ist unnötig, da sich die Sprache dadurch nicht verändert. Die Vereinigung von $L$ und der leeren Menge ist weiterhin $L$:

$$L \cup \emptyset = L$$

Es gilt daher für alle regulären Audrücke $x$:

$$L(x + \emptyset) = L(x)$$

Die leere Menge hat trotzdem ihre Berechtigung in regulären Ausdrücken, denn mit dem Ausdruck 

$$\emptyset^\star$$

kann man das leere Wort darstellen. Das ist mathematisch nicht ganz intuitiv, aber eigentlich ganz einfach: Die $k$-fache Hintereinanderschreibung von "nichts", was ja durch

$$\emptyset^\star = \emptyset^0 + \emptyset + \emptyset\cdot\emptyset + \emptyset\cdot\emptyset\cdot\emptyset + \ldots = \sum_{k \in \mathbb{N}_0} \emptyset^k$$

dargestellt wird, ist nichts, wenn wir $k>0$ annehmen. D.h. alles, außer $\emptyset^0$ fällt weg im obigen Term. Ähnlich wie in der Arithmetik $n^0=1$ für beliebige $n$ gilt (sogar für $n=0$), ist nun $\emptyset^0=\lambda$ definiert, daher ist 

$$\emptyset^\star=\emptyset^0=\lambda$$

Wenn wir also das leere Wort in einem regulären Ausdruck haben möchten (das ist etwa der Fall, wenn von einem endlichen Automaten ausgegangen wird und bei diesem der Anfangszustand ein Endzustand war), dann können wir $\emptyset^\star$ schreiben.

Das ist allerdings nicht die einzige Möglichkeit, das leere Wort zu erhalten - jeder Ausdruck $(x)^\star$ enthält ja auf dieselbe Weise das leere Wort, wie gerade beschrieben - indem $k=0$ gesetzt wird. In dem Ausdruck, auf den Sie sich beziehen, steht nun unter anderem ein $0^\star$ ganz hinten im Term. Durch diesen Teilausdruck kann das leere Wort gebildet werden (zusammen mit $0, 00, 000, \ldots$) und muss also nicht explizit hingeschrieben werden.

von Dozent (10.1m Punkte)  
ausgewählt von
...