Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in Minimierung endlicher Automaten

Menge der 0/1/2 äquivalenten Zustände bestimmen

Sat, 12 Feb 2022 16:20:35 +0000

Kann mir jm bitte erklären wie man nach der Minimierung eines endlichen Automaten die Menge der 0/1/2 äquivalenten Zustände bestimmen kann? Bin da leider komplett lost.

HK WS 2018/2019 - Aufgabe 2

Sun, 14 Mar 2021 15:41:28 +0000

Hallo,

ich verstehe nicht warum S4S0 = X1, S3S2 = X1, S4S5 = X1 sind?

Vielen Dank schon mal im Voraus

zustandsdiagramm nach der Minimierung

Sat, 08 Feb 2020 18:05:56 +0000

Hallo,

wenn man ein Zustandsdiagramm nach der Minimuíerung des automaten zeichnen soll und man ein Zustand entfernt, woher weiss man wie man die Verbindungen zu dem entfernten Zustand ersetzen soll. Gibt es dafür ein bestimmtes verfahren?

MfG

V2-53 1-äquivalente Zustände

Sat, 28 Dec 2019 10:19:56 +0000

Warum wird das Zustandspaar (s0,s2) erst im 3. Schritt markiert ? Betrachte ich das Paar (s0, s2) mit der Eingabe 0, so lande ich im Zustandspaar (s0, s1), damit könnte ich doch das Paar (s0, s2) schon im zweiten Schritt markieren, bzw das Paar wäre 1-äquivalent. Wenn nein, warum nicht ?

Notation

Sun, 10 Feb 2019 17:25:17 +0000

Hallo,

ich hätte eine Frage bezüglich der Notation der minimierten endlichen Automaten, die ja meistens im Anschluss angegeben werden soll. Im Tutorium und in den Poolaufgaben, wurden die äquivalenten Zustände immer zu dem Zustand mit dem kleinsten Index zusammengefasst. Allerdings wird beispielsweise bei der Umwandlung eines nDEAs in einen DEA der neue Zustand mit einem Apostroph gekennzeichnet, bei der Minimierung wird der ursprüngliche Zustandsname einfach so übernommen. Soll das in der Klausur auch so gehandhabt werden?

Warum sind s0,s7 und s4,s7 äquivalente Zustände?

Wed, 11 Jan 2017 11:48:13 +0000

Hallo,

Ich habe wie gewohnt die Minimierungstabelle ausgefüllt und komme bei den angegebenen Zustände auf jeweils X3.

Beispielsweise führt führt der Eintrag 0 bei s0,s7 zu s0,s1. Diesen Zustand hatte ich bereits mit X2 markiert und hätte bei s0,s7 X3 eingetragen.

LG

Warum ist s4,s5 nicht mit X0 markiert?

Wed, 11 Jan 2017 10:26:03 +0000

Ich verstehe nicht, weshalb der Zustand nicht mit X0 markiert wird, da sowohl s4 als auch s5 Endzustände sind.

LG

Definition vereinfachter Automat

Mon, 17 Oct 2016 09:45:44 +0000

Hallo,

wenn nach einem vereinfachten Automaten gefragt ist, reicht es zu sagen: "es ist der Automat, in dem die nicht erreichbaren Zustände entfernt sind."

Genügt dies oder müsste man da noch mehr ins Detail gehen?

Vielen Dank im Voraus.

klausur16

Mon, 15 Feb 2016 18:46:03 +0000

Hallo,

in de aufgabe 1 a war verlangt , einen nicht minimalen , aber vereinfachten automaten mit nur einem eingabealphabet anzugeben. Hat jemand eine Idee wie so etwas gehen kann?

Verständnisprobleme A27 c)

Fri, 05 Feb 2016 16:50:15 +0000

Hallo zsm,

leider verstehe ich so gar nicht, wie man bei den Mengen äquivalenter Zustände vorgehen muss, obwohl ich mir schon unzählige Forumsbeiträge hier durchgelesen habe...

Wäre jemand so nett und könnte das nochmal Schritt für Schritt erklären, wieso man am Anfang die zueinander äquivalenten Zustände in eine Menge schreibt und die restlichen in eine andere und diese dann weiter aufgeteilt werden ?

Eine MArkierung X0 in einem Feld heisst ja gerade, dass diese 2 Zustände NICHT X0 äquivalent zueinander sind oder ?

Mfg

Verständnisfrage Algorithmus

Thu, 04 Feb 2016 10:39:55 +0000

Hallo,

ich verstehe nicht so ganz warum z.b. im zweiten Durchgang s1 mit "x2" nicht markiert wird. Laut Vorlesungsfolien: 2.Schritt: Markiere diejenigen Paare, die durch Eingabesymbole 0 oder 1 auf ein bereits markiertes Zustandspaar führen (mit X1). (nicht 1-äquivalent!)

3.Schritt: Analog zum 2. Schritt
(2. Durchlaufen der REPEAT-Schleife; markiere mit X2 (nicht 2-äquivalent!) )

Also meine Frage wäre, wenn ich z.b. s0s1 betrachte, merke ich, dass s1 mit 1 in s6 führt, was schon komplett markiert wurde (im 1-ten Schritt). Warum sind die beiden trotzdem aquivalent?

Kann jemand das erklären oder verstehe ich den Algo falsch?

Danke

Gruss

Aufgabe 27)c, Wie komme ich auf die 0,1,2,3 Äquivalenten Mengen?

Tue, 26 Jan 2016 17:54:55 +0000

Hallo,

vielleicht ist die Frage banal, jedoch weiß ich nicht, wo beziehungsweise wie man die Äquivalenz der Mengen ablesen kann und wie das in den geschweiften Klammern zu verstehen ist. Sorry und Danke!

Angeben von Mengen k-äquivalenter Zustände

Sat, 31 Jan 2015 19:06:28 +0000

Meine Frage bezieht sich auf Aufgabe 27c).

Wieso sind $s_3$ und $s_4$ in der Menge der 2-äquivalenten Zustände enthalten, obwohl in der Minimierungstabelle für das Zustandspaar $\{s_3,s_4\}$ nicht-2-Äquivalenz steht?

Vielen Dank schonmal.

Wie kommt man auf die Mengen der 1-Äquivalenz ?

Tue, 25 Nov 2014 10:30:46 +0000

Hallo,

ich hab das immer noch nicht ganz verstanden.
Mir ist klar, wie man auf die zwei Mengen bei der 0-Äquivalenz kommt. Aber was muss ich dann machen um auf die Mengen der 1-Äquivalenz zu kommen. Was genau muss ich miteinander vergleichen (oder kann man es vielleicht einfach aus dem Zustandsdiagramm/Minimierungstabelle ablesen)?

Danke und Gruß

warum wird Zelle (s0, s1) mit X2 markiert?

Tue, 25 Nov 2014 10:24:08 +0000

Könnte mir noch jemand erklären, warum die Zelle (s0, s1) mit X2 markiert wird?

s0 führt ja auf (s1,s2), was mit X1 markiert ist und s1 führt ebenfalls auf ein mit X1 markiertes Zustandspaar.

Ich dachte man würde ein Kästchen nur mit X2 markieren, wenn eine Komponente auf ein mit X1-markiertes Kästchen zeigt, das andere aber nicht...

Danke schonmal :)

Grüße

Notwendigkeit zur Angabe von einelementigen Mengen ?

Tue, 25 Nov 2014 10:21:36 +0000

Ist es hier wichtig die einelementigen Menge anzugeben oder reicht es in der Klausur jene Menge anzugeben, die mindestens 2 Elemente enthalten?

0-Äquivalenz und k-Äquivalenz: Verständnisproblem

Tue, 25 Nov 2014 10:19:49 +0000

Hallo,

habe ich das jetzt richtig verstanden:

jeder Nichtendzustand ist immer 0-äquivalent zu jedem Endzustand?

Und zwei Endzustände sind immer k-äquivalent zueinander?

Oder müsste ich die Endzustände auch nochmal untereinander auf Äquivalenz untersuchen wie alle anderen Paare auch mit X0, X1 ...etc ?

Sind s2 & s3 nicht 1-äquivalent ?

Tue, 25 Nov 2014 10:15:54 +0000

Ich habe noch eine andere Frage:

Warum sind s2 und s3 nicht 1-äquivalent? Ich komme doch sowohl aus s2 als auch s3 mit einem Schritt zu meinen Endzuständen? Ich hatte es so verstanden, dass man das x eintragen muss, wenn man nur bei einem der beiden verglichenen Zustände in einen bereits markierten gelangen kann und wenn dies aus beiden möglich sein sollte, eine Äquivalenz vorliegt.

Dieser Logik folgend würde ich für s0 und s1 auch nicht x2 eintragen, sondern auch hier eine Äquivalenz feststellen.

Schon einmal vorab vielen Dank für die Klärung.

Viele Grüße,

Thomas

Warum prüfe ich Zustände auf 3-Äquivalenz ?

Tue, 25 Nov 2014 10:13:24 +0000

Hallo alles zusammen,

ich habe noch eine kurze Frage zur Lösung der Aufgabe:

Warum muss man bei der Aufgabe auch noch darauf eingehen, ob die Zustände 3-äquivalent sind? Das verstehe ich leider noch nicht und habe auch nichts passendes gefunden.

Vielen Dank schon einmal im Voraus und viele Grüße

Mario

warum bilden s0 & s1 eine Menge der 1 äquivalenten Zustände?

Tue, 25 Nov 2014 10:10:46 +0000

Mir ist noch nicht ganz klar warum s0 und s1 eine Menge der 1 äquivalenten Zustände bilden. Ich kann keine Eingabe der Länge k=1 für s0 und s1 finden, die eine identische Ausgabefolge erzeugt?

Außerdem würde mich interessieren ob man aus NICHT nicht äquivalent -> äquivalent schließen kann?

Vielleicht noch eine kleine Erklärung zur zweiten Frage:

Wenn ich weiß, dass zwei Zustände weder X0 noch X1 äquivalent ist, kann ich daraus folgern, dass diese beiden mind. 0 und 1 äquivalent sind ?

Danke schonmal im Voraus!

Mengen der k-äquivalenten Zustände

Tue, 25 Nov 2014 10:06:04 +0000

Wie komme ich bei dieser Aufgabe auf die Mengen der k-äquivalenten Zustände?

Deutung xk in einer Zelle

Sun, 16 Nov 2014 16:48:43 +0000

Hallo,

gilt der Satz aus der Lösung "xk in einer Zelle bedeutet, dass die entsprechenden Zustände nicht k-äquivalent sind, aber, falls k > 0, (k − 1)-äquivalent)" immer?
Ich kann mir das gerade nicht so vorstellen.

Danke und Gruß

Verständnis Diagonalfelder Minimierungstabelle

Sun, 16 Nov 2014 16:46:02 +0000

Wenn man bei dem Algorithmus in der Zustandstabelle schaut, welches Feld man betrachten muss und auf ein Diagonalfeld gelangt (s0,s0) (s4,s4) etc. ... wie deutet man dies?

Bedeutet das, dass in dem betrachteten Feld noch nichts steht, da auf der ganzen Diagonale nie etwas stehen kann?

Grüße

Erstellung Minimierungstabelle

Sun, 16 Nov 2014 16:41:00 +0000

Ich habe das gleiche Problem.

Verstehe noch nicht ganz wie ich vorgehen muss. Ich habe das folgendermaßen gemacht:

1) Im ersten Schritt die Endzustände markiert (S4) mit X0

2) Dann alle Zustände, in denen ein bereits markiertes Zustandspaar (S4) vorkommt also (S5 und S6) mit X1

3) Dann (Schleife) alle Zustände, in denen ein markiertes Zustandspaar (S4, S5, S6) vorkommt also (S0,S1,S2,S3) mit X2

So wurde das verfahren doch in der Vorlesung vorgestellt.

Dann hab ich aber als äquivalente Zustände S1~S0; S2~S0; S2~S1; S3~S0; S3~S1; S3~S2; S5~S6

Frage zu Minimierungstabelle und Zustandspaaren

Sun, 16 Nov 2014 16:38:52 +0000

Hallo!

Mir ist gerade nicht ganz klar, warum nur die Zeile von s3 mit x2 markiert wurde und die Zeilen s2 und s1 mit x3 und nicht auch mit x2.

Von den Zustandspaaren mit s1 oder s2 komme ich durch die Eingabe von 0 doch genauso zu einem bereits mit x1 markierten Zustand, wie wenn ich bei einem Paar mit s3 die Eingabe 1 habe, oder nicht?

Und warum gehören die Zustandspaare mit s0 nicht zu denen, die mit x2 oder x3 markiert werden?

Wäre sehr dankbar, wenn mir da jemand auf die Sprünge helfen könnte!

Äquivalenz in Tabelle ablesen

Sat, 01 Nov 2014 11:26:38 +0000

Hallo,

ich verstehe nicht ganz, wie ich die Äquivalenzen hier in der Diagonaltabelle ablesen muss. Wenn man die Markierungen der Endzustände (s2, s5) betrachtet, sind diese gleich. Dennoch werden diese beiden später aufgespalten, was ja auch, wenn man das Zustandsüberführungsdiagramm anschaut logisch ist.

Kann mir hier nochmal jemand weiterhelfen?

Vielen Dank!

k-äquivalente Zustände

Sat, 01 Nov 2014 11:25:49 +0000

Hi,

wie würden die k-äquivalenten Zustände für den Urpsrungsautomaten aussehen? einelementige Zustände auch angeben.

0 --> {C,F}{A,B,D,E,G,H}

1--> {CF}{A,B,D,G,H}{E}???

2-->{CF}{A,B,D,G,H}{E}

Vielleicht kann mir da jemand helfen. Danke.

Minimierung allgemein

Thu, 23 Oct 2014 13:53:23 +0000

Hallo,

wenn man einen endlichen Automaten "minimiert" hat und er dann gleich viele Zustände hat wie vor der Minimierung, ist es dann möglich, dass er sich (Kanten, ...) geändert hat
oder ist dann zwangsläufig der zu minimierende Automat schon der minimierte Automat? Kann man im letzten Fall sagen, dass der ursprüngliche Automat minimierbar ist, wenn er sowieso schon dem endgültigen minimierten Automaten entspricht?

Markierung

Thu, 23 Oct 2014 13:52:22 +0000

Hallo, ich verstehe nicht so ganz genau warum (s4,s3) mit x2 markiert wird. Sowohl s3 als auch s4 führen doch auf noch nicht markierte Felder.

Viele Grüße.

X1-Markierung

Thu, 23 Oct 2014 13:50:22 +0000

Hallo,

ich habe eine Frage zu den X1-Markierungen:

sie sagen doch aus, dass man mit einem noch nicht markierten Paar ein markiertes Paar erreichen kann oder?

Das markierte Paar (s6,s9) kann man aber mit den unmarkierten Paaren (s5,s6) und (s5,s7) erreichen und das unmarkierte Paar (s7,s9) mit (s6,s7).

Warum werden diese drei neuen Paare also nicht auch mit X1 markiert oder wo ist mein Denkfehler?

Viele Grüße!

Lösungsvorschlag

Wed, 22 Oct 2014 20:53:12 +0000

Hallo,

es gilt doch:

0*1(0 + 1)1*0(1* + 01*0)* = 0*1(0 + 1)1*0(1 + 01*0)*, richtig?

Lösungsvorschlag

Wed, 22 Oct 2014 20:53:06 +0000

Hallo,

es gilt doch:

0*1(0 + 1)1*0(1* + 01*0)* = 0*1(0 + 1)1*0(1 + 01*0)*, richtig?

Lösungsvorschlag

Wed, 22 Oct 2014 20:52:37 +0000

Hallo,

es gilt doch:

0*1(0 + 1)1*0(1* + 01*0)* = 0*1(0 + 1)1*0(1 + 01*0)*, richtig?

Äquivalenz überprüfen

Wed, 22 Oct 2014 18:03:51 +0000

Hallo,

kann mir jemand die b) etwas genauer erklären. Woher weiß ich, dass wenn ich einen anderen Startknoten wähle, dann nur die Bedingung gelten muss, dass man von diesem aus zu so kommt. Wieso muss ich da nicht noch die Äquivalenzen überprüfen? es gibt doch vom neuen Startknoten aus andere Pfeile da könnte doch sein, dass ein Zustand auch äquivalent mit einem anderen ist? Oder was denke ich falsch?

Vielen Dank