No video

Automatentheorie: Minimierung eines DEA

  Рет қаралды 12,965

frankjuchim

frankjuchim

Күн бұрын

Пікірлер: 16
@algovec4024
@algovec4024 Жыл бұрын
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!
@frankjuchim
@frankjuchim Жыл бұрын
Gerne. :-) Ich drücke die Daumen, die beiden Verfahren sollten äquivalent sein am Ende des Tages. ;-)
@thaliasorke4057
@thaliasorke4057 2 жыл бұрын
Vielen Dank für die Erklärung :)
@frankjuchim
@frankjuchim 2 жыл бұрын
Sehr gerne 🙂
@Spiderfish7
@Spiderfish7 4 ай бұрын
super Video 👍
@frankjuchim
@frankjuchim 4 ай бұрын
Danke dir!
@pearl378
@pearl378 Жыл бұрын
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)
@frankjuchim
@frankjuchim 11 ай бұрын
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. :-)
@Sarah-kf9ww
@Sarah-kf9ww Жыл бұрын
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
@frankjuchim
@frankjuchim Жыл бұрын
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.
@soerenkierkegaard2968
@soerenkierkegaard2968 Жыл бұрын
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?
@frankjuchim
@frankjuchim Жыл бұрын
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.
@Scoopa
@Scoopa 2 жыл бұрын
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
@frankjuchim
@frankjuchim 2 жыл бұрын
Top :-) Trotzdem danke für dein Interesse!
@hermannbaur8052
@hermannbaur8052 2 жыл бұрын
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...
@frankjuchim
@frankjuchim 2 жыл бұрын
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.
Automatentheorie: Nichtdeterministische Endliche Automaten (NEA)
7:03
Automatentheorie: Kellerautomaten
15:07
frankjuchim
Рет қаралды 5 М.
🩷🩵VS👿
00:38
ISSEI / いっせい
Рет қаралды 16 МЛН
CHOCKY MILK.. 🤣 #shorts
00:20
Savage Vlogs
Рет қаралды 29 МЛН
黑天使遇到什么了?#short #angel #clown
00:34
Super Beauty team
Рет қаралды 43 МЛН
Minimierung deterministischer endlicher Automaten
14:33
Andreas Schaefer
Рет қаралды 17 М.
CYK Algorithmus einfach erklärt
16:32
Florian Dalwigk
Рет қаралды 2,9 М.
Automatentheorie: Einstieg & DEA
10:25
frankjuchim
Рет қаралды 6 М.
The Boundary of Computation
12:59
Mutual Information
Рет қаралды 1 МЛН
Kellerautomaten
23:11
Christian Spannagel
Рет қаралды 73 М.
NFA in DFA umwandeln (Aufgabe mit Lösung) | Theoretische Informatik
8:12
Endliche Automaten (Theoretische Informatik)
39:44
Weitz / HAW Hamburg
Рет қаралды 4,1 М.
5 Simple Steps for Solving Any Recursive Problem
21:03
Reducible
Рет қаралды 1,2 МЛН
DEA Minimierung
11:17
Daniel Janssen
Рет қаралды 9 М.
Formale Sprachen #14 - Minimale DEAs
14:23
NLogSpace
Рет қаралды 29 М.
🩷🩵VS👿
00:38
ISSEI / いっせい
Рет қаралды 16 МЛН