Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in Übungsblatt 1

alternativ PPL

Fri, 21 Jan 2022 09:31:49 +0000

Kann ich als

xy = 0^j mit 1<=j<=n,

y=0^k mit 1<=k<=j

und z=0 ^2n-j 1

Dann mit i=0. Kann ich beweisen?

Moore-Automaten

Wed, 05 Jan 2022 14:55:03 +0000

Hallo,

ich habe eine Frage zur Moore-Automaten: Übung 1: Aufgabe 6: HU-1-3:

Es steht in der Lösung : M = (f00; 01; 10; 11g; fs0; s1; s2; s3; s4g; f0; 1g; δ; γ; a): Kann sein hier ein Fehler steht: da Anfangszustand ist s0, aber nicht a?

Grammatik und Sprache

Thu, 11 Nov 2021 06:07:57 +0000

Hallo

In der Tutor 1 erste Multiple-Choice-Relax-Aufgab steht: das Grammatik i kann Grammatik j (i<=j) zeugen, das heißt Grammatik 0 kann alle andere Grammatik zeugen. Aber In der Vorlesungsfolie: 01 Einführung s.16 steht. Jede Sprache vom Typ i ist auch vom Typ i-1, für i=1,2,3. Sprache i hat auch Grammatik i oder? Ich bin ein bisschen verwirrt. Kann jemand mir hier helfen?

Notation Umwandlung nichtdeterministischer in deterministischer Automat

Mon, 06 Jan 2020 20:26:54 +0000

Hallo,

im Übungsblatt werden die Zustände nach der Umwandlung stets neu benannt, z.B. in Aufgabe 5a. Ich habe die Zustände immer in Anlehnung an die Vorlesung benannt, also z.B. s_{0,1,2}, das ist auch in Ordnung, oder ? Spricht ja laut Algorithmus zumindest nichts dagegen ...

Vielen Dank im Voraus

Pumping Lemma L4

Fri, 16 Nov 2018 14:31:43 +0000

Hallo,

könnte man auch als beliebiges Wort w = 0^n1^n0^n statt 0^n10^n wie in der Lösung wählen? Das wäre doch auch ein Palindrom oder?

Danke

wieso beginnt das wort mit 0 und kann nicht mit 1?

Sat, 10 Nov 2018 10:48:32 +0000

Hallo

Ich habe ein Frage zur Aufgabe 3 b)

Ich habe versucht den Automaten zu zeichen ohne mir die Lösung vorher anzuschauen.

Jetz verstehe ich nicht wieso der Graph nur mit der 0 anfängt. wieso kann ein wort nicht auch mit einer 1 anfangen. Ich habe einen Graphen gezeichnte mit startzustand so und von dem geht dann eine Kante mit 1 zu einem endzustand und eine weiter mit 0 zu einem anderem Knoten usw.

Vielen Dank

PPL - andere Lösung möglich? Darf man k=1 wählen zum beweisen?

Fri, 12 Jan 2018 12:19:07 +0000

Ist folgendes auch erlaubt:

Wort wie sonst aufteilen mit y=a^k

Wähle als Pumpvariable i=0 und außerdem k=1, dann ist xy^iz = xz = a^((n^2) - k) = a^((n^2) - 1) und damit nicht Teil der Sprache ?

Übung 1 Aufgabe 6

Wed, 10 Jan 2018 09:57:20 +0000

Bei der Aufgabe b) muss es doch nur eine gerade Zahl an Buchstaben sein oder nicht? ich verstehe nicht ganz wieso das Wort einen Exponenten haben muss.

Auch Pump-Variable i=0 möglich?

Tue, 09 Jan 2018 10:34:17 +0000

Hallo,

ist es bei dieser Aufagbe auch möglich mit i=0 zu pumpen?

Ich komme dann auf xy^0z = xz = 0^(j-k) 0^(n-j) 1^(2n) = 0^(n-k) 1^(2n) was doch wegen k>=1 auch nicht in L6 liegt, oder?

Wieso wird hier dann gerade i=2 gewählt?

Äquivalente anders aufstellen ?

Sun, 29 Jan 2017 11:20:48 +0000

Hallo ist es auch möglich die Äquivalenten hier anders aufzustellen mit s3 = s1 und s6 = s2 ..... ? oder ist dies nicht möglich und es muss genau so sein wie in der Lösung ?

Weil bei mir würden dann die Knoten s1 s2 und s5 wegfallen beim minimierten Automaten.

Vielen Dank

Frage zu dieser Aufgabe

Sun, 15 Jan 2017 22:28:14 +0000

Hallo,

auch ich habe versucht den Beweis so zu führen wie die Fragestellerin.

Im Moment scheitere ich noch an dem Schritt, welchen Philippe in den letzten beiden Absätzen seines Foreneintrags erwähnt - also dem Nachweis, dass w'=a^(n^2-j) nicht aus der Sprache ist.

Könnte mir diesen nochmal jemand erklären?

Vielen Dank!

Teil c)

Wed, 11 Jan 2017 08:56:37 +0000

Muss bei c) im Zustand s4 angegeben werden, dass der Automat für jede weitere 0/1 im Zustand s4 verbleibt oder könnte das auch weggelassen werden? Sobald ein Wort mehr als drei einsen enthält kann es doch nicht mehr in der Sprache L5 liegen ?

Allgemeine Frage zu dem Minimierungs-Algorithmus

Tue, 03 Jan 2017 19:12:57 +0000

Algorithmus siehe Folie GdInfoII 2-39

Müsste anstelle von "ist markiert" nicht stehen: "wurde in einem vorherigen Durchlauf markiert"? Es kann nämlich passieren, dass man in einem Schleifendurchlauf mit der Überführungsfunktion auf ein in diesem Durchlauf erst markiertes Zustandspaar trifft und würde das nach dem Algorithmus dann markieren. Meiner Meinung nach macht das aber keinen Sinn, da letzteres Schleifenpaar in Schleifendurchlauf k als nicht k-äquivalent bezeichnet werden würde, obwohl es k-äquivalent sein müsste.

Liege ich mit meiner Annahme richtig?

Wäre diese Lösung auch als Beweis ausreichend

Thu, 11 Feb 2016 15:05:43 +0000

w=0^n1^2n

xy = 0^n

y=0 --> x= 0^(n-1) ---> z= 1^(2n)

xy^iz = 0^(n+1)1^(2n) für i=2 -->Wort liegt nicht in L

Das wäre meine Lösung. Ist dies so möglich? Also ohne die Einführung eines k und j wie es in der Musterlösung gemacht wurde? Vielen Dank!

Alternative Regelmenge

Thu, 04 Feb 2016 13:09:22 +0000

Wäre hier auch folgende Regelmenge richtig?

P = { S -> 1S| 0A |0|1|lambda,

A -> 1S|1}

Tutorium 1 Aufgabe 8 Minimierung

Mon, 25 Jan 2016 16:56:29 +0000

Hallo,

woher weiß ich, dass ich in der y-Achse mit s1 bis s7 und auf der x-Achse von s0 bis s6 auftrage? danke!

Übungsblatt 1 Aufgabe 4a)

Mon, 25 Jan 2016 16:07:32 +0000

Wieso lande ich wieder in S0 , wenn ich eine 0 in s1 oder s2 eingebe. Warum kann ich den Automaten nicht so gestalten, dass wenn ich eine 0 eingebe in s1 und s2, das ganze zu sich selbst zeigt? Das heißt sowohl bei s0,s1,s2 ein " Null-Pfeil" zum Knoten selbst?

Vielen Dank

Herangehensweise und Klausurniveau

Sat, 09 Jan 2016 20:31:33 +0000

Hallo zsm,

entpspricht diese Aufgabe ungefähr dem Niveau der Klausur, weil mir ist es unverständlich wie ich hier überhaupt rangehen soll bzw. wie mir es möglich sein soll, so eine Aufgabe in so kurzer Zeit zu lösen, damit alle Varianten abgedeckt sind..

Sind die Tutoriumsaufgaben eher schwieriger oder leichter als die letzendlichen Aufgaben der Klausur ?

Mfg

Vereinfachungen - allgemein

Wed, 06 Jan 2016 10:22:47 +0000

Hallo zsm :),

nutze das Forum hier das erste Mal :)

Und zwar frage ich mich im b-Teil, ob ich die Regelmenge auch vereinfachter angeben kann ? Z.B. müsste ich doch im rechtslinearen Fall mein B --> 1 ableiten können und das Testwort wäre auch erfüllt oder ? Somit wären B-->=B | 1S überflüssig oder nicht ?

Allgemein: Muss ich die Regelmenge nur so angeben, dass sie mein Testwort bei meinem Versuch durch ableiten am Ende erreicht oder müssen alle Fälle abgedeckt werden, die vorkommen könnten, um mein Testwort zu erreichen ?:)

Hoffe, Sie verstehen mein Frage :)

Viele Grüße und einen schönen Feiertag wünsche ich noch :)

Aufgabe 6 a: Woher weiß ich, wie ich das i=... wählen muss, um den Widerspruch zu zeigen?

Sat, 05 Dec 2015 20:34:26 +0000

Von was ist dieses i= 0 oder i = 2 in den Aufgaben 6 a bzw b abhängig? Wie wähle ich das , woran mache ich das fest? Danke !

Grundsätzliches Verständins Moore Automaten

Sat, 28 Nov 2015 13:32:46 +0000

Also nachdem ich nochmals in die Vorlesungsfolien geschaut habe, werde ich aus dieser Aufgabe immer noch nicht schlau:

Wie muss ich den Automaten überhaupt lesen ? Bei z.B. einer Eingabe von 00 wechsel ich von Zustand a in b,0 (was sagt mir das jetzt ?). Wo findet da die Addition statt ?

Wäre echt super nett, wenn mir da jemand weiterhelfen könnte :)

Nach welchen Kriterien wähle ich die Pumpvariable?

Wed, 25 Nov 2015 12:44:38 +0000

Bei a) wurde i=2 genommen, bei b) i=0. Macht auch beides im Nachhinein Sinn, aber wie komme ich darauf, ohne ewig herumzuprobieren? GIbt es einen Trick das schnell zu erkennen?

$\lambda \in L \Leftrightarrow s_0 \in F$?

Mon, 16 Nov 2015 17:21:31 +0000

Hallo,

ich bin etwas verwirrt, aufgrund von Aufgabe 3 b) des 1 Tuts.

Das leere Wort liegt hier ja laut Definition in der Sprache, wenn man sich den Automaten anschaut sieht man aber doch, dass man nach Eingabe von 'nichts' noch in $s_0$ ist und somit nicht im Endzustand.

Ist doch sowieso etwas widersprüchlich, dass mindestens eine Eins in jedem Wort der Sprache sein muss, die Länge jedes Wortes also mindestens $1$ beträgt aber das leere Wort auch dazugehört. Oder habe ich das Konzept hinter $\lambda$ noch nicht durchschaut?

Danke im Voraus!

a) verständnisproblem

Sun, 15 Nov 2015 18:21:22 +0000

Wie komme ich darauf, dass für $i=2$ $a^{n^2+iy}$ rauskommt?

Vielen Dank im Voraus

Sollte das Zustandspaar (S1,S3) nicht mit X3 markiert werden?

Tue, 22 Sep 2015 09:40:23 +0000

Hallo,

meine Frage ist, warum das Zustandspaar (S1,S3) nicht mit X3 markiert wird. Führt dieses Paar nicht auf zwei bereits markierte Paare (S1,S6) und (S1,S2) udn muss dehalb auch markiert werden?

Danke

uxczc

Wie kommt man vom Zustandsübergangsdiagramm des Automaten auf die Tabelle?

Tue, 22 Sep 2015 09:37:33 +0000

Hallo,

könnte jemand freundlicherweise erklären, wie man vom Zustandsübergangsdiagramm des Automaten auf die Tabelle kommt?

Vielen Dank!

Welches Wort wird durch "uu" dargestellt?

Tue, 22 Sep 2015 08:55:53 +0000

ich verstehe nicht ganz, was für ein Wort durch "uu" dargestellt werden kann.

Sind es zwei identische Folgen aus 0 und 1? sprich 000111000111 oder auch 11001100

Beim zweiten Bsp wüsste ich aber nicht, wie es durch $0^n 1^n 0^n 1^n$ dargestellt werden kann? Zahlenfolge fängt mit 1 und nicht mit Null an.

Könnte man auch ein anderes Worrt wählen?

Tue, 22 Sep 2015 08:54:06 +0000

Hallo,

das Wort = $0^n 1^n 0^n 1^n $ ist ja willkürlich gewählt, sprich man könnte auch einfach das wort $ 0^n 1^n$ wählen oder?

Das erste Teilwert zu wiederholen ist ja nicht von Bedeutung? (Oder man könnte das Teilwort n-mal wiederholen)

Danke

Welche Aussagen könnte man treffen, wenn man zum Schluss keinen Widerspruch hätte?

Tue, 22 Sep 2015 08:49:13 +0000

Hallo,

was wäre eigentlich, wenn man zum Schluss keinen Widerspruch hätte, sprich bei a) käme man auf das gewählte Wort $0^{n}1^{2n} $ und bei b) auf das gewählte Wort $ 0^n 1^n 0^n 1^n $ ?

Welche Aussage könnte man dann treffen?

(Man kann doch mit der Umkehrung des PPL nur sagen, dass die Sprache nicht Sprache eines EA ist. Man kann aber damit nicht sagen, dass die Sprache eine Sprache des EA ist, oder habe ich das falsch in Erinnerung?)

Danke und Gruß

Warum ist 0
Tue, 22 Sep 2015 08:44:21 +0000

Hallo,

kann mir nochmal jemand erklären wieso ich bei Aufgabenteil a) ( und bei b) genauso) schreibe $xy = 0^j$ und dann folgere $0<j$. Wenn man das mit den Vorlesungsfolien vergleicht (Folie 2-29) dann steht hier doch auch (dort aber j und k vertauscht) dass die Bedingung heißt: $j <= n$. Also es ist auf den Folien ja genau umgekehrt, wieso muss ich in der Aufgabe dann $0<j$ nehmen?

Danke im voraus.

Wie kommt man auf die "Werte" von x,y ?

Tue, 22 Sep 2015 08:40:25 +0000

Eine Frage zur 1-3a):

Ich frage mich, wie man auf "Werte" von x,y aus der Lösung kommt.

Ich verstehe soweit, dass in der Lösung j>k gelten muss(Sinnhaftigkeit? - j kommt doch vor k im Alphabet, logisch wäre doch j<k), sodass xy = 0(j) gelten kann.

Was ich allerdings nicht verstehe ist (roter Kasten in Zeichnung), warum y = 0(k), x = 0(j-k) ist und nicht y = 0(k-j), x=(j).

Angenommen k=5 und j=3 mit k>j (meine Lösung)

--> xy=5,x=3,y=5-3=2.

Angenommen j=5 und k=3 mit k>j (gegebene Lösung)

--> xy=5,x=5-3=2,y=3.

Wo liegt mein Fehler?

Danke

EDIT:

...... (roter Kasten in Zeichnung), warum y = 0(k), x = 0(j-k) ist und nicht y = 0(k-j), x=(j).

--> sollte lauten: ... und nicht y = 0(j-k), x=(k).

Angenommen j=5 und k=3 mit k>j (gegebene Lösung)

--> xy=5,x=5-3=2,y=3.

--> sollte eigentlich lauten: mit k<j (gegebene Lösung)

andere Zerlegung des Worts möglich ?

Tue, 22 Sep 2015 08:31:49 +0000

Hallo,

kann man denn eigentlich das Wort auch so zerlegen, dass man das Pumping Lemma dann bei $1^n 0^n 1^n$ anwendet? Dann koennte man ja direkt beim Pumpen sehen, dass das Wort nicht Element der Sprache ist.. Oder muessen immer vorher die gleichen Teile des Wortes zusammengefasst werden?

Danke im Voraus!

Gruesse

Niklas Boehn

allgemeine Fragen zum Pumping-Lemma

Tue, 22 Sep 2015 08:28:52 +0000

Hallo beisammen,

habe nicht direkt eine Frage zu der Aufgabe, sondern zum Pumping-Lemma:

1) Woher weiß ich n, die Anzahl der Zustände?
2) Wenn ich das Pumping-Lemma auf den Automaten L5 in AÜ-1-2 anwende, nehme ich bspw. als Wort 0000111. x auf die 0er, y auf die erste 1 und z auf die zwei restlichen 1er. Nun pumpe ich y. Dann bekomme ich mehr als 3 Einsen und der Widerspruch ist geführt. Was mache ich falsch? Denn es gibt ja in dieser Aufgabe einen EA, der L5 erkennt.

LG und danke im Voraus!

Andi

freie Wahl bei Bennenung der Zustände?

Tue, 22 Sep 2015 08:26:07 +0000

Hallo!

Ich wollte fragen, ob man freie Wahl bei der Benennung der Zustände hat.

Ich benenne meine Zustände aus persönlichen Gründen gerne Zweistellig, beispielsweise schreibe ich statt "b,0" oder "c,1" lieber "s00,0" und "s01,1".
Solange ich verständlich und übersichtlich bleibe, sollte das in Ordnung sein, oder?

Funktion des Zustands "a"

Tue, 22 Sep 2015 08:23:23 +0000

Hallo,

wofür wird genau der Zustand a gebraucht? Kann man nicht a und b zusammenlegen? Bzw. was bedeutet "im ersten Schritt"? Bei der Initialisierung soll ja nichts ausgegeben werden.

Danke.

Vereinfachung beim EA möglich?

Tue, 22 Sep 2015 06:51:45 +0000

Hallo,

kann man den Zustand d und den Pfeil von c auf d auch weglassen ?

Endlosschleife beim EA ?

Tue, 22 Sep 2015 06:50:52 +0000

Hallo,

wieso gehen vom Endzustand d die Pfeile an verschiedene Zustände (Nullpfeil an b und "1"-Pfeil an a) ? Startet das neue Wort dann nicht immer in a? Bzw. stimmt es, dass der Automat nach 001 automatisch erkennt, dass ein Wort zu Ende ist und ein Neues anfängt?

Vielen Dank für die Hilfe im Voraus!:)

Bennenung der Elemente mit Groß-/Kleinbuchstaben ?

Tue, 22 Sep 2015 06:48:51 +0000

Hallo. Gibt es eine Vorschrift, ob die Elemente mit großen oder mit kleinen Buchstaben benannt werden müssen?

In 2a) werden zum Beispiel S,A,B,F verwendet, während in 2b) und c) die Kleinbuchstaben a,b,c,d ... verwendet werden.

MfG, Lukas

Gibt es mehrere richtige Lösungsmöglichkeiten für EA?

Tue, 22 Sep 2015 06:43:51 +0000

Hallo,

wenn ich beim Graphen den Nullpfeil von C auf B anstatt wie in der Lösung auf C gehen lasse, ist das doch auch richtig oder?

Anders formuliert: Gibt es (immer) mehrere richtige Lösungsmöglichkeiten einen solchen Graphen zu zeichnen?

Danke Gruß

a): andere Übergänge möglich?

Mon, 21 Sep 2015 08:50:14 +0000

Ist es bei a) auch zulässig mit der "0" entweder in S zu bleiben ODER in F zu gehen? Oder darf es keine Auswahl an Möglichkeiten geben?

c): alternativer Lösungsvorschlag

Mon, 21 Sep 2015 08:48:22 +0000

wäre dieser Automat auch richtig (siehe Foto)?

a): Bezeichnung von Startzuständen

Mon, 21 Sep 2015 08:45:08 +0000

Hallo,

bei a) werden die Zustände mit Großbuchstaben bezeichnet und der Startzustand ist wie bei den Grammatiken S. Bei b) + c) werden für die Zustände Kleinbuchstaben verwendet und der Startzustand ist a.

Kann man also die Zustände und den Startzustand beliebig bezeichnen oder gibt es da irgendwelche Regeln, die man beachten muss (nicht das man unnötig Punkte verschenkt)?

Danke und Gruß

b): leeres Wort in Sprache - Startzustand als Endzustand?

Mon, 21 Sep 2015 08:44:00 +0000

Hallo,

ich habe eine Frage zu Aufgabenteil b). Das leere Wort wäre doch in der Sprache enthalten oder? Wieso muss ich dann den Startzustand nicht gleich als Endzustand definieren (ich habe einen anderen Graphen gezeichnet mit insgesamt drei Zuständen)? Liegt das daran, dass hier lediglich nach delta4 gefragt ist (also nach der Übergangsfunktion) und kein Zustandsdiagramm gezeichnet werden soll?

Vielen Dank!

b): Verständnisproblem bzgl. Betrachtung der Partitionen

Thu, 17 Sep 2015 14:29:07 +0000

Hallo,
In der Musterlösung heißt es "Betrachte eine beliebige Partition".
Ich dachte wir müssen für das Pumping-Lemma alle möglichen Partitionen betrachten und widerlegen, daher nehmen wir ja auch die Variablen Exponenten und zeigen es für alle möglichen k, l, m etc.

Nun gibt es aber für das Palindrom noch eine weitere Partition, die nicht so abgedeckt wird:

$ x = 0^{n-k} y = 0^k * 1 * 0^k z=0^{n-k}$ mit $k \in [0, n] $

Das k deckt somit alle Partitionen ab, die die ersten beiden Bedingungen erfüllen.
Pumpt man nun für i=2 erhält man wieder ein Palindrom, lediglich i=0 führt zu einem Widerspruch, da: $ xy^0z = 0^{n-k} * 0^{n-k} = 0^{2n - 2k} \notin w $

Müsste man das nicht alles noch zeigen, oder habe ich das mit dem $ \neg \exists Zerlegung = \forall Zerlegung $ bei dem Widerspuch falsch verstanden?

Unklar bin ich mir leider auch noch über die Bedeutung des "n", wir haben ja einmal ein n als Exponent in unserer Zerlegung, welcher aber nichts mit dem "$ |w| \leq n$" zu tun hat, oder?
Also ist n einfach eine beliebige Variable? Denn falls nicht: $|0^n*1*0^n| = 2n + 1 > n$ und niemals $\leq n $.
Andersrum wäre meine obere Zerlegung hinfällig, weil dann |xy| > n für jedes k wäre?
Sprich: Ist n einfach eine Variable und wir müssen dafür sorgen, dass das Wort mindestens so lang wird aber gleichzeitig xy nur genauso lang ist wie das n?

Sorry für die Verwirrung, vermutlich gibt es eine einfache Lösung

c): Anderer Ansatz

Thu, 17 Sep 2015 14:18:00 +0000

Ich glaube ich wäre niemals auf |xz| als Pumpvariable gekommen, aber ist denn auch ein anderer Ansatz möglich:

$x = 1^{n-k}; y = 1^k; z = 1^{p-n}.$

Damit ist xy genau n lang, es sind also alle möglichen Zerlegungen abgedeckt.
Pumpe ich nun mit "i", dann erhalte ich $xy^in = 1^{p + i - 1}$
Hiermit komme ich zur Behauptung: $ \exists i: p + i -1 \notin Primzahlen $
Dies nun zu zeigen ist nicht so trivial, aber kann ich das so stehen lassen, weil bekannt ist, dass die Menge der Primzahlen eine Teilmenge der natürlichen Zahlen ist, und sich somit immer ein i finden lässt?

a): Verständnisproblem bei Musterlösung

Thu, 17 Sep 2015 14:15:02 +0000

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?

a): Wird bei |xy|=2n nicht die obere Bed. verletzt?

Thu, 17 Sep 2015 14:04:48 +0000

Hallo,

ich habe eine kurze Frage zur Teilaufg. (a).

Und zwar wird in der Musterlösung zuerst die Bedingung $ |xy| \leq n $ (wie üblich) aufgestellt, dann aber gefolgert, dass $ x=a^{i_x}$ und $ y=a^{i_y} $, wobei $ (i_x) $ und $ (i_y) $ beide jeweils im Interall von 0 und n definiert sind. Ist es dann nicht möglich dass |xy|=2n gibt und somit die obere Bed.verletzt wird?

Vielen dank schonmal im voraus ;)

c): Kann man z.B. i=2 wählen?

Thu, 17 Sep 2015 14:00:06 +0000

Hallo,

Warum kann ich bei der 4 c) nicht auch z.b. i=2 wählen? Es würde sich doch dann $ i_x+2i_y+i_z $ als länge ergeben, warum ist dies kein echter Faktor?

c): alternativer Lösungsvorschlag

Thu, 17 Sep 2015 13:56:47 +0000

Hallo, ich habe noch eine andere Idee für die c). Ich hoffe, man versteht, was ich meine.

Könnte man hier auch i = (2p-|xz|) / (p-|xz|) wählen?
Dann gilt i * |y| = i * (p-|xz|) = 2p - |xz|, also hat das gepumpte Wort insgesamt die Länge 2p. Und das Doppelte einer Primzahl kann ja keine Primzahl sein, oder?

Danke fürs Prüfen :)

2. Schritt bei Reduzierung des EA

Thu, 17 Sep 2015 13:54:51 +0000

Hallo,

Erstmal habe ich keine Ahnung, ob das hier der richtige Platz ist, um die Frage zu stellen aber egal: Bei der Reduzierung des endlichen Automaten ist mir der zweite Schritt nicht klar, nämlich wie wir die x1 markieren.

Könnte mir jemand vielleicht weiterhelfen?