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 turingmaschine pumpinglemma tipp zahlendarstellung cmos bonusklausur klausurrelevant 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 huffman-kodierung cocke-younger-kasami-algorithmus kontextsensitive-grammatik kontextfreie-grammatik fehlererkennbarkeit hauptklausur vorlesungsfolien polynomialzeitreduktion kontextfreie-sprache faq gleitkommazahl fehlerkorrigierbarkeit rechtslineare-grammatik dateiorganisation cache darstellung-klausur nachklausur xwizard adressierungsarten mealy lambda endliche-automaten konjunktive-normalform pipelining zustände saalübung leeres-wort moore ohne-lösungen betriebssystem speicherorganisation monotone-grammatik 2-komplement hammingzahl lösungsweg fehler pumping-lemma-für-kontextfreie-sprachen pumping-lemma reguläre-sprache monoton kodierung berechenbarkeit klausureinsicht disjunktive-normalform abzählbarkeit info-ii bussysteme rechnerarchitektur entscheidbarkeit komplexitätsklassen chomsky-klassen ableitungsbaum vorlesungsaufzeichnung round-robin aufzählbarkeit minimierung-endlicher-automaten von-neumann-rechner binärzahl entscheidbar programmiersprachen stern-symbol automaten schaltnetze-und-schaltwerke nukit-fragen bewertung zugriffsarten umformung adressierung mengen binär-subtrahieren

Kategorien

3 Pluspunkte 0 Minuspunkte
80 Aufrufe
In diesem Fall darf ja nicht auf das leere Wort abgebildet werden, das ist klar.

Bedeutet die Stelle  w = u1v nicht, dass jedes Wort w so aufgebaut sein muss, dass es mindestens eine 1 und dann links einen Rest u und rechts einen Rest v hat?

Demnach wäre das Wort 0 nicht in der Sprache. Laut Übergang kann S aber auf 0 abgebildet werden.

Vielen Dank.
in REC-AC von updrr updrr Eins-Komma-Null-Anwärter(in) (4.7k Punkte)  

1 Eine Antwort

1 Pluspunkt 0 Minuspunkte
Hey updrr,

das ist so nicht richtig. Die Bedingung lautet nicht w=u1v (für u,v aus {0,1}*).
Sondern, WENN w=u1v gilt, dann gilt (u=x1 und v=00y) oder (v=100y) mit x,y aus {0,1}*.
Somit muss nicht zwangläufig eine 1 im Wort sein. Das Wort 0 ist daher in der Sprache enthalten.
Wenn in dem Wort eine 1 enthalten ist, dann darf links und rechts nicht "irgendein" Rest stehen, sondern entweder er steht direkt links eine 1 und rechts zwei Nullen oder rechts eine 1 gefolgt von zwei Nullen (daher die Aussage: "jede 1 muss im Rahmen der Zeichenfolge 1100auftreten").

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