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

1 Pluspunkt 1 Minuspunkt
70 Aufrufe

Ich weiß, die Frage wurde hier jetzt schon ein paar mal gestellt. Aber ich kann das leider immer noch nicht nachvollziehen.

In der Musterlösung steht:

\( (1) |xy| \leq n \),
\( (2) |y| \leq  1 \).
Daraus folgt:
\( x = a^{i_x}\) mit \(1 \leq i_x \leq n \),
\( y = a^{i_y} \) mit \( 1 \leq i_y \leq n \),
\( z = a^{i_z} \) mit \( (i_x + i_y + i_z) = n^2 \)

Wenn jedoch im Extremfall \( i_x=n \) sowie \( i_y=n \), was ja laut den Folgerungen möglich wäre, dann hab ich doch \( xy = a^{2n} \), also \( |xy| = 2n \) und somit wäre doch die Bedingung (1) verletzt. Oder habe ich da einen Denkfehler drin?

 

in HU-1-4 von uafjv uafjv Tutor(in) (168k Punkte)  

1 Eine Antwort

0 Pluspunkte 0 Minuspunkte

Hallo,

da hast du sicherlich recht. Genauer müsste es heißen, dass \( i_x + i_y \leq n \). Dann ist Bedingung (1) erfüllt.

Gruß,

Marius (Tutor)

 

von uafjv uafjv Tutor(in) (168k Punkte)  
...