Automatentheorie: Minimierung eines DEA
Vložit
- čas přidán 9. 07. 2024
- In diesem Video lernen wir, wie wir einen Deterministischen Endlichen Automaten minimieren. Was genau das ist und wie es funktioniert erfährst du in diesem Video.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Hast du weitere Wünsche für Videos in den Bereichen Mathematik, Informatik oder iOS App-Entwicklung, dann melde dich gerne bei mir. :)
Schau doch auch mal hier vorbei: www.frankjuchim.de - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-- #Ausrüstung --
#Rechner + Zubehör
+ Mac mini M1: amzn.to/3HV7vCk
+ CalDigit TS3 Plus: amzn.to/35ZtGZJ
+ Magic Keyboard: amzn.to/3oMeLsu
+ Logitech C920 Pro: amzn.to/3sDwHql
+ Logitech MX Master: amzn.to/3uOGpJm
+ USB-Hub: amzn.to/3HHUqvT
+ iPad Pro 11": amzn.to/3oKCpFI
+ Apple Magic Keyboard: amzn.to/3HNiEFd
+ USB-C Hub: amzn.to/3oKCyZM
#Monitore
+ Philips 498P9: amzn.to/3uJK8aP
+ Philips 275E12: amzn.to/3Lx5vCf
#Mikro
+ Shure MV7: amzn.to/3uLmZoq
+ Rode PS1: amzn.to/3v35pwD
+ Auna MIC-900B: amzn.to/3JnMMHs
+ Auna MIC-900B mit Arm: amzn.to/3gLiWAi
#3D-Druck
+ Anycubic Vyper: amzn.to/34Zn9xW
#Sonstiges
+ Greenscreen: amzn.to/3oO8nRD
+ Lichter: amzn.to/3BgTbRU
Anderes Verfahren, als das, welches wir in der Vorlesung machen, dennoch macht es sehr viel Sinn. Meiner Meinung nach auch schneller als anhand einer riesigen Tabelle mit Restklassen zu arbeiten. Nurnoch hoffen, dass der prof es akzeptiert. Vielen Dank!
Gerne. :-)
Ich drücke die Daumen, die beiden Verfahren sollten äquivalent sein am Ende des Tages. ;-)
Vielen Dank für die Erklärung :)
Sehr gerne 🙂
super Video
👍
Danke dir!
Hey, schon mal im Voraus vielen Dank für dein Video. Es hat mir sehr geholfen!
Ich hab noch eine Frage: wenn ich z.B. mit einem Eingabezeichen in das Zustandspaar (q3,q3) komme, wird dann mein Ausgangszustand-Paar markiert oder nicht?
Bei deinem Beispiel wäre das (q1,q3) mit der Eingabe ':' und dann kommen beide in q2 an. Wird dann (q1,q3) markiert?
Liebe Grüße
Hey Sarah, das ist eine gute Frage auf die ich leider nicht eingegangen bin.
Aber (q3,q3) ist kein markiertes Zustandspaar, daher würde das Zustandspaar (q1,q3) durch diese Variante keine Markierung erhalten.
Eine Markierung bekommt es aber wie im Video gesagt durch (q3,q1) mit "-".
Ich hoffe die Antwort hilft ein wenig.
Das Video hat mir wirklich sehr geholfen, vielen Dank für die super Erklärung! Ich hätte nur eine Frage... Wie ist das, wenn ich jetzt ein Zustandspaar habe, was mit einem Zeichen in den gleichen Zustand geht, der aber ein Endzustand ist. Also im Falle von q0, q2 landen wir ja mit der ") " wieder in q2, welches wir nicht markieren, weil es kein akzeptierender Zustand ist. Was aber wäre jetzt, wenn q2 ein akzeptierender Zustand wäre, würden wir q0,q2 dann markieren?
Edit: Nvm, hab mir die Frage schon selbst beantworten können :D
Top :-) Trotzdem danke für dein Interesse!
Hi , danke fût die Erklärung . Mir ist aber nicht ganz klar wie man die ränder sozusagen markiert sind (also die q0 q1 usw)
Hi, das passiert in Schritt 3. Wenn ein Zustandspaar mit einem Eingabezeichen in ein Zustandspaar mit "Markierung" überführt wird, dann bekommt das "Ursprungspaar" auch eine Markierung. Das kommt direkt im ersten Beispiel von Schritt 3 auch vor.
Falls das noch nicht ausreichend war, melde dich gerne nochmal. :-)
wie gehe ich vor, wenn ich im dritten Schritt die Folgezustände vergleichen will, aber ( anders als in Deinem Beispiel ) einer der betrachteten Zustände keinen Übergang für eine der möglichen Eingaben definiert hätte? ZB. könnte q0 kein "-" in Richtung q2 abbilden. Wenn ich q0 und q1 dann hinsichtlich der Folgezustände untersuche, hätte ich eine "Leerstelle", weil q1 "-" als Eingabe akzeptiert, aber q0 nicht.
Wie gehe ich in so einem Fall weiter vor?
Moin Soeren, hier gehts um die Minimierung eines DEA. Der hat per Definition für jeden Zustand alle Eingabezeichnen definiert. Es gibt allerdings Varianten/Kurzschreibweisen wo Eingabezeichen, welche in einen Fehlerzustand führen, weggelassen werden. Das sollte allerdings vorher erwähnt werden.
Wieso haben wir in diesem Automaten überhaupt q2 könnte man q2 nicht auch einfach wegrationalisieren und somit den DEA vereinfachen? schließlich führt Q2 in keinen sinvollen Zustand über und ändert nichts am Ergebnis...
Moin, meinst du den Automaten am Ende? Falls ja: Damit es ein DEA ist, muss es aus jedem Zustand, jedes Eingabezeichen "behandelt" werden. Daher existiert q2 als "Fehlerzustand". Falls man in q2 landet, ist keine "korrekte" Eingabe mehr möglich und die Eingabe (egal was folgt) wird nicht akzeptiert. Ich hoffe die Erläuterung hilft ein wenig.