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

0 Pluspunkte 0 Minuspunkte
64 Aufrufe

L1 ist die Sprache aller Wörter, die nach jeder 0 genau eine 1 enthalten:
L1 = {w ∈ {0, 1}* | ∀u, v ∈ {0, 1}* : w = u0v ⇒ ∃x ∈ {0, 1} * : v = 10x ∨ v = 1} 

Hat sich da ein Fehler eingeschlichen (rot markiert)? 
Soll man auf solche Fehler prinzipiell hinweisen oder eher nicht? (falls es einer ist) 

 

 

geschlossen mit Kommentar: Mein Fehler, ergibt sich aus diesem "genau eine 1"
in REC-AH von uydht uydht Eins-Komma-Null-Anwärter(in) (2.3k Punkte)  
geschlossen von uydht uydht
0 0
Warum sollte das falsch sein? Man kann die Definition so lesen: Für jede $0$ in $w$ beginnt der Teil nach der $0$ entweder mit $10$, das heißt, da kommt eine $1$ und danach eine Nicht-$1$, also $0$, oder der ganze Teil nach der $0$ ist einfach nur eine $1$. Das scheint mir richtig zu sein. Oder übersehe ich etwas?
0 0
Es ist trotzdem absolut in Ordnung, nachzufragen!
0 0
Hat alles gestimmt.
Deshalb habe ich die Frage direkt wieder geschlossen mit dem Kommentar.

Trotzdem Danke!
...