Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in Endliche Automaten

Frage zur Aufgabe 3

Sun, 13 Feb 2022 19:08:39 +0000

Hallo

ich habe eine Frage zur Aufgabe 3: wie versteht man bei zustand S1:

wenn 01 eingeben, bleiben bei S1 und gibt 0 aus (0-1=1,1-1=0? wegen 0-1 hier eine übertrag, deswegen bleibt bei s1?)

wenn 10 eingeben, geht nach Zustand S0 und gibt 0 aus(1-0=1,1-1=0?)

Dank

Wie soll man Aufgabe 2a) verstehen?

Sun, 13 Feb 2022 17:11:20 +0000

Hallo,

Ich versteht (END-AT) Aufgabe 2a) nicht ganz, wie man die Skizze lesen soll?

Dank im Voraus

verstandnis

Fri, 21 Jan 2022 14:43:27 +0000

Ist a b c drei verschieden bits ? Im Forum schreibt es a-b= c.

Ich kann leider das nicht verstehen.

ALTERNATIVE

Fri, 21 Jan 2022 10:28:12 +0000

Hallo,

Ist als Alternative Lösung richitg?

S -> 01A01

A -> 0B I1B I1 I 0 I leeres Wort,

B -> 1 AI 0A I 1B I OB I 1 I O .

verstandnis für v

Fri, 21 Jan 2022 10:13:53 +0000

Warum schreiben wir Ev, ich dachte umgekehrte A weil, für alle v soll richtig sein oder ?

Lösung ohne den leeren Ausdruck

Sun, 02 Jan 2022 19:41:05 +0000

Hallo,

wäre 00*+00*(1+10)+(00*0)*1(0+1)*0 auch eine Lösung?

00* : Übergang zu s1

00*(1+10): Übergang s1 aber Endzustand in s4

(00*0)*1(0+1)*0: Beliebig of Schleife s0-s1 und dann unten entlang zu s4

Vielen Dank im Voraus

verstandnis

Mon, 20 Dec 2021 20:05:39 +0000

Hallo,

Wie denkt man zum lösen?

Ich kann die Lösung verstehen. Aber kann ich nicht selbst lösen.

verstandnis

Mon, 20 Dec 2021 19:38:25 +0000

Hallo,

Ich dachte 0*01(1*+01*+00*01)*.

Nach 0*01 kann ich so denken:

1 oder 01 oder 00*01.

Zss für Klammer, in erste runde nehme ich 001(vor der Klammer) dann 1(beliebig) dann wieder 001(vor der Klammer) dann 01. Wort ist 001100101.

Aber wie kann ich 001011101 schreiben? Wie denke ich diese Klammer Teil?

binarzahl durch 4 teilbar

Mon, 20 Dec 2021 09:26:39 +0000

Hallo,

Was ist binarzahl durch 4 teilbar?

Ich dachte, dass es am Ende 00 stehen muss.

GdInfoII 2-6 - Beispiel Zustandstafel

Wed, 18 Nov 2020 11:27:54 +0000

Hallo, in der VL haben wir über das Beispiel mit dedm Garagentor gesprochen. Hierbei haben wir eine Zustandstafel erstellt die soweit nachvollziehbar ausgefüllt ist.

Jedoch stellt sich mir die Frage wie realitätsnah dies ist und vor allem im Hinblick auf Übungen und Klausur, wie die Bewertung von möglichen Fehelrquellen besteht.

Nehmen wir den Zustand Tor offen und die Eingabe Tosensor unten, laut Tafel bleibt die Ampel auf grün und wir bleiben im Zustand Tor offen. Was ist wenn ein defekt vorliegt? Wäre es nicht sinnvoller bei sich ausschließenden Argumenten, also das Tor kann nicht offen sein und der Sensor meldet unten, eine vorkerhrung zu treffen wie Ampel auf rot oder Fehlermeldung? Oder ist dies irrelevant für die Zustandstafel?

Ich hoffe meine Frage wird deutich. Danke im Voraus!

Endlicher Automat

Sat, 08 Feb 2020 19:20:06 +0000

1)Wenn ein endlicher Automat das leere Wort akzeptiert, wird er dann nichtdeterministisch?

Darf bei einem endlichen Automaten die Überführung d(s,lamda)--> s definiert werden (s beliebiger Zustand)?

2)Und muss es bei einem deterministischen EA für jede Eingabe eine Überführungsfunktion geben? D.h. kann es auch passieren, dass für die Eingabe a nicht definiert ist, wie sich der Zustand wechselt?

Weitere Alternativlösung

Fri, 31 Jan 2020 13:40:13 +0000

Hallo,

wäre:

G = {N,T,P,S}

N = {S,A,B,C}

T = {0,1}

P = {S -> 0A, A -> 1B, B -> 0C|1B, C -> 0C|1B|1}

als Alternativlösung zulässig? (Habe schon alle bereits gestellten Alternativlösungen gecheckt - diese war nicht dabei)

Danke schon mal!

Verfahren in der Aufgabe

Thu, 30 Jan 2020 20:45:10 +0000

Hallo,

mit dem "neuen" Verfahren bzw. Algorithmus (Gdl-V7 88) zur Erzeugung von EAs aus rechtslinearen Grammatiken erhält man erstmal einen Nicht-Deterministischen EA. Aus diesem kann man dann ja mit einem Algorithmus einen deterministischen EA machen. Um nun auf die Musterlösung zu kommen, muss man dann noch mit dem Minimierungsalgorithmus minimieren.

Dazu drei Fragen:

- Da in der Aufgabe ja nur ein deterministischer Automat gefordert ist, ist der letzte Schritt zur Minimierung ja nicht nötig oder?

- Heißt das, das nach dem Verfahren zur Umwandlung von nicht-deterministischen EAs in deterministische EAs nicht immer gegeben ist, dass der EA danach auch minimal ist?

- Da in der Musterlösung ja ohne weiteres der letzte EA steht - gibt es einen schnelleren Weg auf die Musterlösung zu kommen ohne erst alle Algorithmen anwenden zu müssen?

Danke schon mal!

Angabe Produktionsfunktion bei nEA -> EA

Wed, 08 Jan 2020 07:51:58 +0000

Hallo,

wenn wir in der Aufgabe den EA vollstandig angeben müssen, reicht es wenn wir am Ende die neue Zustandsüberführungstabelle angeben oder müssen wird zusätzlich auch noch den Graphen angeben?

Danke

Ausgabe im Startzustand des Moore-Automaten

Sun, 05 Jan 2020 21:47:08 +0000

Im Buch S.90 steht, der Moore-Automat habe die Besonderheit, schon im Startzustand eine Ausgabe zu erzeugen. Wie ist das in dem Zusammenhang zu verstehen? Müsste also nicht doch am Anfang immer noch ein lambda-Übergang mit Ausgabe a erfolgen?

Danke im Voraus.

Alternative Lösung des zugehörigen regulären Ausdruckes

Thu, 19 Dec 2019 09:41:07 +0000

Hallo,

ich habe eine Frage zu Aufgabe 9 b) 2) aus dem Übungsbuch 1.

Wäre folgender regulärer Ausdruck auch korrekt: 0 (0+1)* (111)*

Der Zeichnung des konstruierten Automaten in der Musterlösung (S.99) kann man ja entnehmen, dass weitere Einsen mit einer Schleife beliebig oft in s4 führen.

danke!

Übungsbuch Aufgabe 4

Wed, 26 Jun 2019 18:55:22 +0000

Ist das auch eine richtige Lösung?

Übungspool END-AZ Alternativlösung

Fri, 08 Feb 2019 15:02:07 +0000

(0 (00 + 0)* (10 + 1 + [Leere Menge])) + 1 (1 + 0)* 0

Ist diese Lösung auch richtig?
Oder muss man immer den kürzesten Ausdruck nehmen?

LG

Meine Frage bezieht sich auf die zweite Tabelle in der Lösung

Tue, 22 Jan 2019 10:50:49 +0000

Hallo Philipp,

den generellen Ablauf der Zustandsüberführung habe ich schon vertstanden (denke ich). Für mich gibt aber die Tabelle (Lösung auf Seite 3 unter dem Diagram, also zweite Tabelle) keinen Sinn.

Bei deinem Beispiel nimmst du Bezug auf die erste Tabelle in der Lösung oder? Müsste dann nicht {s0}\a vereinigt mit {s2}\a= {s1,s2,s3} sein anstatt {s0,s2,s3} ?

Bonusklausur 2018, Aufgabe 1 Wie kommt man auf die Zustandsüberführungstabelle in der Lösung?

Mon, 21 Jan 2019 12:18:27 +0000

Da es noch keine Kategorie zu "Bonusklausur 2018" gibt, habe ich es in die Kategorie Endliche Automaten getan.

Ich habe die Aufgabe 1 zwar richtig gelöst aber ohne diese Zustandsüberführungstabelle. Ich verstehe nicht wie diese zustande kommt. Wäre super, wenn mir das jemand erklären könnte! p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px Helvetica} p.p2 {margin: 0.0px 0.0px 0.0px 0.0px; font: 8.0px Helvetica} span.s1 {font: 12.0px Helvetica}

Zustandsüberführungstabelle aus der Lösung:

p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px Helvetica} p.p2 {margin: 0.0px 0.0px 0.0px 0.0px; font: 8.0px Helvetica} span.s1 {font: 12.0px Helvetica}

	a	b
s0	s0	s2
s1	s3	s4
s2	s1	s4
s3	s3	s4
s4	s3	s4

zu Skript%3A%0A%0A------------%0Afsm%3A%0D%0A%28s0%2C a%29 %3D%3E s3 %7C s1 %7C s2%3B%0D%0A%28s1%2C a%29 %3D%3E s2 %7C s0%3B%0D%0A%28s1%2C b%29 %3D%3E s3 %7C s2%3B%0D%0A%28s2%2C b%29 %3D%3E s3 %7C s1%3B%0D%0A%28s3%2C b%29 %3D%3E s0 %7C s2 %7C s3%3B%0D%0A--declarations--%0D%0Ae%3D%23n%23%3B%0D%0Aanimate%3Dthis%3B%0D%0AsimulateToStep%3D-1%3B%0D%0Ainput%3Dnull%3B%0D%0As0%3Ds0%3B%0D%0AF%3Ds3%3B%0D%0AdisplayMode%3D0%3B%0D%0AshowMinimizedFSM%3Dfalse%3B%0D%0AshowDeterministicFSM%3Dfalse%0D%0A--declarations-end--%0A------------

Alternative Lösung bzw. Schreibweise reguläre Ausdrücke

Sat, 19 Jan 2019 11:50:01 +0000

Hallo,

wäre es möglich, den ersten Teil der Lösung auch so zu schreiben?

(000*)*1(0+1)*0

Vielen Dank für die Antwort im Voraus!

Ist es möglich einen 4er bit Block als Eingabe zu nehmen ?

Sat, 10 Feb 2018 18:23:40 +0000

Zu Aufgabe 4 aus Aufgabenpool. Könnte man auch nur einen 4er Bit Block als Eingabe zählen lassen und als Ausgabe die dazugehörige BCD Zahl ausgeben ? zB 0001,1. Oder akzeptiert der Mealy Automat jeweils nur 1 Bit pro Eingabe ? Weil bei der Aufgabe davor zum Subtrahierer wurden Eingaben wie 00, 01, 11 etc verwendet. Dann könnte man nämlich im Zustand s0 einfach alle 4er Block Eingaben mit jeweiliger Ausgabe wieder auf s0 zurückführen.

Zyklus über S1 in RA

Sun, 04 Feb 2018 22:26:51 +0000

Hallo,

eine Frage zum zweiten Teil des reulären Ausdrucks alpha = (000*+Ø*)1(0+1)*0+00*(1+10+Ø*). Soweit ich sehen kann, kommt man mit der ersten 0 in den Zustand s1. Nun darf ich beliebig viele 0er eingeben, dh. auch einmal. Wenn ich nun 1 mal die 0 eingegeben habe, kann ich theoretisch auch wieder in s0 gelandet sein. Nun sind im Anschluss die Eingaben 1 oder Ø erlaubt. Damit würde ich aber lediglich in s2 bzw. in s0 gelangen, welches keine Endzustände sind und die Eingabe ungültig wäre. Wieso ist der zweite Teil des regulären Ausdrucks dennoch so gestellt?

Vielen Dank!

Regulärer Ausdruck

Sun, 14 Jan 2018 16:32:25 +0000

Hallo,

kann man auch mehrere Klammern nutzen?
Ich hätte: @[regex:(01)*000*((0+1)1*1(0+((10)*0)))*]@

Sollte in der Lösung nicht "Mealy" stehen.

Sat, 13 Jan 2018 16:51:49 +0000

Sollte an dieser Stelle:

Zu M ergibt sich folgender Moore-Automat M´

nicht Mealy stehen?

RA für EA

Fri, 12 Jan 2018 11:24:27 +0000

von der gegebenen RA bzw. 01(0+1)*10* habe ich nEA A entwickelt und dann EA A´, aber ietzt nehme ich an, dass A´ als eine Frage geben ist, und ist verlangt ein RA für A´ zu schreiben, dann werde ich auf jeden Fall schreiben 01(0)*1(0+1)*.

woran liegt dieser Unterschied? oder beide sind gleich?

@[latex: %varm|gra% @{regex:01(0+1)*10*}@ \\
\noindent @{regex:01(0)*1(0+1)*}@]@

Alternativvorschlag G1

Mon, 08 Jan 2018 13:34:17 +0000

Guten Mittag,

kann ich meinen Alternativvorschlag irgendwo im XWizzard überprüfen? Wenn nicht fände ich es super nett, falls mir jemand sagen könnte, ob meine Lösung auch richtig ist, da ich mir bei den Grammatiken algemein noch unsicher bin.

G = (N,T,P,S)

N=(S,A,B,C)

T= (0,1)

P= {S --> 1 / 0A / 1B,

A --> 0 / 0S,

B --> 1C / 0/ 0S / Lamda,

C --> 1 / 0S / lamda }

Mealy-Automat Definition der Ausgabe "Keine Aktion"

Tue, 02 Jan 2018 10:57:01 +0000

Im Übungsbuch Band 1 Aufgabe 5 – END-AS wird explizit die Ausgabe "Keine Aktion" mit "-" definiert. Darum wird dann auf jeden Übergangspfeil diese Ausgabe als Ergebnis einer Eingabe geschrieben (Auch wenn man sich danach noch im selben Zustand befindet).

Darf in dem Fall, wenn kein Zustandswechsel stattfindet, die Pfeilbeschriftung für keine Aktion weggelassen werden?

z.B.

darf für

s0 ------->MU,RU/25,-/50,- --->s0 auch nur

s0---->MU,RU------->geschrieben werden?

regulärer Ausdruck Folie 2-62

Sun, 12 Nov 2017 11:10:03 +0000

Hallo,

Bei dem auf Folie 2-62 zum Ausdruck a*+ab gehörenden Automaten ist mir nicht klar, wieso bei der "Zusammenführung" der beiden Automaten der Zustand S1 kein Endzustand ist. Im zum Ausruck a*+ab gehörenden Automaten sollte doch die Eingabe eines einzelnen a's immer zu einem Endzustand führen (da in a* "enthalten").

Ich hätte bei dem gegebenen Automaten Zustand S1 einfach entfernt und einen Zustandübergang durch EIngabe b von S2 zu S3 hinzugefügt und somit sichergestellt dass im Anfangszustand eine EIngabe von a immer zu einem Endzustand führt (in rot).

Weitere Lösung

Sun, 12 Feb 2017 10:23:59 +0000

Wäre 0 (0+10+110+1110)* 111 1* auch richtig?

Wann ist Binärzahl mod m = 0 - Darstellung EA

Fri, 10 Feb 2017 17:37:32 +0000

Hallo,

Ist gefragt, wann n mod 2 = 0, so ist klar wie hier der Automat erstellt werden muss. Ist jedoch n mod 7 = 0 oder ähnliches gefragt, so ist mir dies noch nicht ganz klar. Ich weiß, dass eine Binärzahl durch 3 teilbar ist, wenn ihre alternierende Quersumme durch 3 teilbar ist. Wie realisiere ich das am besten in einem EA? W

Danke im Voraus

Warum Umbenennung

Sun, 05 Feb 2017 21:28:41 +0000

Guten Abend,

wieso stimmen die Endzustände in A'=(...) mit den auf der Skizze nicht ?

Regulärer Ausdruck

Sat, 04 Feb 2017 17:18:07 +0000

Nur zur Übung:

Wäre dieser reguläre Ausdruck korrekt:

a = (01)*00(0+11*10+11*1100)*

Vielen Dank und Grüße

0 führt zu Endzustand bei b), bei a) allerdings nicht

Thu, 02 Feb 2017 07:29:37 +0000

Hallo,

bei der b) werden die durch 4 teilbaren Binärstrings betrachtet und bei der a) diejenigen die durch 2 teilbar sind. In b) ist man im Endzustand, wenn es im String nur Nullen gibt, bei a) nicht - wieso?

Alternative Lösung für regulären Ausdruck

Tue, 31 Jan 2017 07:28:59 +0000

Hallo ich wollte wissen , da es ja eig einige Lösung gibt für den regulären Ausdruck ob dieses Weg auch richtig wäre ?

= 0 ( 0* + 00 ) * (01+010) 1 (0+1)* 0

alternativlösung G1

Mon, 30 Jan 2017 17:31:19 +0000

Ist dieser Lösung Richtig ':

G = (N, T, P , S)

N = {S, A, B, C}

T = {0 , 1}

produktion :

S -> 1A |0B ,

A -> 1S| 0C |1 ,

B -> 0S |1C,

C -> 0a| 1B| 0 ,}

danke im Voraus

Aufstellen eins Automaten

Sun, 22 Jan 2017 14:09:40 +0000

Müsste man, wenn in der Klausur so ein Aufgabentyp drankommt, den minimalen Automaten angeben oder würde man auch die volle Punktzahl bekommen, wenn man zum Beispiel ein Zustand mehr einbaut, aber der Automat trotzdem funktioniert. Viele Grüße und danke im Voraus

Weiterer Alternativvorschlag

Wed, 11 Jan 2017 13:22:03 +0000

Wäre auch folgende Grammatik korrekt mit

P ={

S -> 0A,

A -> 1B,

B -> 0C |1C,

C -> 0C|1C|D,

D -> 0E,

E -> 1

}

Diese Regelmenge ist zwar unnötig kompliziert, ist doch aber rechtslinear und richtig oder liege ich damit falsch?

Aufgabe 41 b aus dem Aufgabenpool - EAs

Tue, 10 Jan 2017 13:45:36 +0000

Guten Tag, in der Aufgabe wird der Zustand s3 des Automaten dazu genutzt Worte die nicht zur Sprache gehören abzufangen. D.h. falls eine falsche Eingabe passiert, landet der Automat unweigerlich im Zustand s3 und kommt dort nicht mehr raus.

Meine Frage wäre ob dies notwendig ist. Wenn man den Zustand s3 entfernen würde, würde der EA bei einer falschen Eingabe in einem nicht-Endzustand anhalten und Worte die nicht in der Sprache sind dadurch genauso gut (bzw. schneller) erkennen.

Bitte um eine Erklärung.

Aufgabe 1 Aufgabenpool

Sun, 13 Nov 2016 14:29:04 +0000

Hallo,

könnten Sie mir genauer den Lösungsweg dieser Aufgabe erläutern? Mir ist nicht ganz ersichtlich woher die jeweiligen Beschriftungen kommen. Es fängt schon damit an, dass in den "Blasen" des Moore-Automats jweils zwei Dinge stehen.

Von welcher Seite beginne ich den Code zu lesen?

Mon, 08 Feb 2016 11:32:26 +0000

Wenn ich einen Automaten konstruiere oder die Eingabe lese, von wo beginne ich den Code zu lesen von links (daher 2^n) oder von rechts (daher 2^0 )?

hier bei dieser Aufgabe denke ich beginnen wir von rechts (dem Ende des Codes/der Eingabe? ) in Aufgabe END-AA beginnen wir aber von links.

Gibt es da eine Faustregel?

Lösungsvorschlag

Fri, 05 Feb 2016 18:32:40 +0000

Hallo,

wieso ist denn diese Variante nicht richtig ?

Weil sie keine Schleife hat ?

S -> 0A

A -> 0B

B-> 0C

C-> lambda

Mfg

Verständnisproblem: Reguläre Ausdrücke

Fri, 05 Feb 2016 17:28:14 +0000

Hallo zusammen,

leider verstehe ich beim regulären Ausdruck nicht den fett markierten Teil mit den 3 Oern:

alpha=(000* +leere Menge*)1(0+1)*0

Mit der ersten 0 gehe ich doch in s1 und mit der zweiten gehe ich entweder aus s1 oder bleibe in Endzustand s1.

Wenn ich aber wieder aus s1 rausgehe, macht die 3 0, die beliebig oft vorkommen kann, leider gar keinen Sinn für mich....

Mfg

Verständnisfrage Regulärer Ausdruck

Fri, 05 Feb 2016 14:27:04 +0000

Hallo zusammen,

leider verstehe ich beim regulären Ausdruck nicht den fett markierten Teil mit den 3 Oern:

alpha=(000* +leere Menge*)1(0+1)*0

Mit der ersten 0 gehe ich doch in s1 und mit der zweiten gehe ich entweder aus s1 oder bleibe in Endzustand s1.

Wenn ich aber wieder aus s1 rausgehe, macht die 3 0, die beliebig oft vorkommen kann, leider gar keinen Sinn für mich....

Mfg

alternativer regulärer Ausdruck

Thu, 04 Feb 2016 15:52:27 +0000

Ist hier auch folgender regulärer Ausdruck richtig?

((0+1)1+(01))(01+001)*

Frage zum Teil b) (Reg.Ausdruck)

Wed, 03 Feb 2016 18:37:59 +0000

Hallo,

Ist es notwendig in der Klammer die erste Null anzugeben? So wie ich das verstehe, wir können aus dem Zustand s2 in s1 mit "01" landen oder mit beliebig vielen Nullen dazwischen: "00*1" (anstatt 00*01). Also ist es richtig wenn der Term so aussieht?

α = 0⋆01(1 + 0⋆01 + 01)⋆

Danke

Lösungsvorschlag

Wed, 03 Feb 2016 14:47:41 +0000

Hallo,

leider verstehe ich nicht wie man für den det. EA bei der A13 b) zu folgendem regulären Ausdruck kommen soll:

alpha = 0(0+1)* 1

Für mich macht nur mein Vorschlag einen Sinn :D

alpha = 0 0* 1 (1* + 0 0* 1)

Was ist mein Denkfehler ?

Mfg

32)a L2 Alternative Rechtslineare Grammatik

Sun, 31 Jan 2016 15:15:28 +0000

Wäre diese Grammatik für 32a) L2 gültig?

S-> 0A / 0

A-> 1B / Lamda

B-> Lamda/ 0/ 0C

C-> 1S/1

Danke!

Nr 20 Aufgabenpool, Regulärer Ausdruck

Wed, 27 Jan 2016 19:32:50 +0000

Hallo,

wäre klasse, wenn mir jemand zum Einen die Bedeutung des Symbols "durchgestrichene Null" im regulären Ausdruck erkären könnte und wie ich bei >1 Endzuständen vorgehen muss, um den regulären Zustand zu finden. Danke

Minimierung Aufgabe 14

Wed, 27 Jan 2016 17:58:16 +0000

Hallo,

ich habe die Tabelle und den Automaten exakt herausgefunden. Nur weiß ich nicht, wonach ich meine neuen Endzustände bestimme, wie sehe ich das? In dem Fall s2 s4 s7... Danke!