Sehr anschauliche und gut verständliche Erklärung. Vielen Dank <3
@nerokuma2 ай бұрын
Super, gleich nach ein paar alle meine Fragen geklärt.
@ianfischer88132 ай бұрын
In einer Übungsaufgaben hatten wir einen Kellerautomaten mit nur einem Zustand, die Grammatik lautet: G:= ({S,T},{0,1}, P, S) P: S->0S1S | 1S0S |T T-> 0T | \epsilon Gibt es eine Regel mit der Anzahl der Zustände?
@inesdhawedi45812 ай бұрын
Dankeschön
@Emileeportraitart5 ай бұрын
Genau das was mir Google nicht geben konnte. Dankeee😄
@Ozay19986 ай бұрын
mir ist durch ihre erklärung ein absolutes licht aufgegangen. Ich kannte zwar die regeln (det = 0 -> linear abhängig) und die generelle idee der berechnung einer fläche durch die determinante aber wieso und warum war mir nicht bewusst. Durch das video ist plötzlich alles glasklar geworden. Vielen dank dafür
@dodged29006 ай бұрын
Richtig gut und anschaulich erklärt, danke!
@wolfganglienert23996 ай бұрын
Wenn man annimmt, daß die Berechnung von 1 + 1 ein Problem ist das mit einem Computer gelöst wird ist man ein Schwachkopf. Denn das ist kein Problem, sondern eine Regel die als Aufgabe gestellt ist (Rechner ist auch falsch weil als Input nicht 1 und 1 eigeht, sondern Bilder ider Text. Ja das Rechenwerk der CPU rechnet aber nicht auf der Ebene I/O des Gesamten). Ein Problem kann entstehen, wenn bei der Ausführung der Regel Speicherplatz gebraucht wird, der nicht vorhanden ist. Also ein Problem entsteht aus einem Widerspruch. Problem können aber mit Computern gelöst sehr wohl werden, indem man beispielsweise nach Regeln etwas aus der Lostik von Untermen in Algorithmen und später in Programme und Code umformt und maschinell bearbeitet (Optimierung von Transportwegen unter der Bedingung begrenzter Zeit). Computer waren zu Beginn oft als Rechner eingesetzt und dienen heute einer komplexen Kommunikation. Es gibt tatsächlich noch als Taschenrechner.
@andreas.schaefer6 ай бұрын
In diesem Video geht es um Berechenbarkeitstheorie. Dort hat der Begriff "Problem" eine etwas engere Bedeutung als in der Umgangssprache. Die Turing-Maschine ist ein mögliches und bekanntes Maschinenmodell und man kann zeigen, dass das Modell universell in dem Sinne ist, dass man Turing-Maschinen prinzipiell alles berechnen kann, was man auch mit aktueller Computerhardware berechnen kann. Das ist natürlich nicht effizient und man beschränkt sich deshalb typischerweise auf einfache Beispiele wie die Addition um das Prinzip zu erklären. Davon ausgehend kann man dann zeigen, dass es "Probleme" gibt, die prinzipiell nicht algorithmisch - also z.B. durch Turing-Maschinen - gelöst werden können. Ein bekanntes Beispiel ist das Halteproblem, bei dem es darum geht, ob ein Programm für eine Eingabe halten wird.
@Gamuss123457 ай бұрын
Amazing explanation! Very well structured and easy to follow :)
@recriver30077 ай бұрын
Wär ich mal lieber in Lübeck an die TH gegangen, unser Prof hat uns die Turing Maschine als Ha über Weihnachten gegeben, danke für die Erklärung.
@melitta_kaffee7 ай бұрын
Hallo, dieses Video hat sehr geholfen, danke!
@morite_27179 ай бұрын
Vielen Dank Bruder 😊 Grüße Max
@norliegh9 ай бұрын
thank you!!
@Ben-up4lj10 ай бұрын
Danke dir, hat mir sehr geholfen. Auch weil ein paar Spezialfälle dabei sind.
@yildirimm.884410 ай бұрын
Bruh
@user-kf1xn1dq9t11 ай бұрын
Nice recommendation youtube, but I dont talk german
@dodged2900 Жыл бұрын
Top Erklärung! Aber eine kleine Anmerkung zu den Thumbnails: Falls man ein KZbin Video bereits gesehen hat, wird auf dem Thumbnail eines Videos unten ein roter Balken angezeigt. Der rote Balken des TH Lübeck Designs in den Videos lässt mich denken ich hätte das Video bereits gesehen, was etwas verwirrend sein könnte :D
@ashar8192 Жыл бұрын
Kann man die Tabelle für jeden DFA, wie im Video, aufstellen, so dass die rechte obere Hälfte nicht überprüft werden muss? Unser Prof und die Assistenten halten sich nicht an eine Konvention und andere scheinen auch die Tabelle immer anders aufzustellen 😅
@andreas.schaefer Жыл бұрын
Ja, wenn (q1,q2) verschmolzen oder nicht verschmolzen werden sollen, gilt das natürlich auch für (q2,q1), wir brauchen also jedes Paar nur einmal. Und wir müssen einen Zustand nicht mit sich selbst prüfen, also fallen (q1,q1) Paare auch weg. Es gibt aber keine wirkliche Konvention wie man die Tabelle aufschreibt. Ich mache es wie Uwe Schöning in seinem Buch.
@ashar8192 Жыл бұрын
@@andreas.schaefer vielen Dank für das tolle Erklärvideo und die schnelle Antwort!
@tachain1452 Жыл бұрын
Vielen Dank!
@lakshitgoel8481 Жыл бұрын
Please I request all, do like these type of videos Almost 100times more views are there then number of likes😢 9:900
@Pablo-np6lo Жыл бұрын
Wer kann das kurz zusammenfassen
@Grasication Жыл бұрын
Klasse Video und toll erklärt!
@jt_hopp Жыл бұрын
Fluchen ist uncool! 3:30
@moishinetzer Жыл бұрын
Brilliant however why do we need to pop and push in the epsilon states between q0, q1 and q2. Surely they can also be epsilon, epsilon: epsilon
@andreas.schaefer Жыл бұрын
Depends :) on the definition of PDA. I follow Hopcroft, Motwani, Ullman. They require PDAs to always pop a symbol from the stack. If the stack should not change, the symbol that was popped is pushed again. The definition does not allow epsilon to be "read" from the stack. Other authors, like Sipser allow no symbol being popped from the stack, i.e. popping epsilon. Both definitions have pros and cons and both are equivalent.
@play-all2296 Жыл бұрын
Nicht so Schnell haha 😅
@thisizzdeath4392 Жыл бұрын
Bodenlos bin zu blöd, ehrlich gute Erklärung war aber im vanilla Sky
@JohnClasher Жыл бұрын
Perfekt und sehr detailliert erklärt 👍
@xifyction1175 Жыл бұрын
Turing war so ein Brain. Die TM kann im Prinzip genau so viele Probleme lösen, wie die heutigen Maschinen mit dem Unterschied, dass es fast 90 Jahre her ist...fast ein ganzes Jahrhundert! 😁
@merveillesmbiami1288 Жыл бұрын
danke sehr gut erklärt
@Finintius Жыл бұрын
Hätte die letzte b-Schleife aus dem letzten Beispiel nicht auch in einem b* resultieren müssen? Wodurch der letzte Ausdruck eigentlich (b*ab*ab*a)* ist?
@andreas.schaefer Жыл бұрын
Die Idee ist, dass Vereinigen von Kanten einfach zu einem Ausdruck mit + führt. Das ist quasi ein Weg um wieder zum Start zu kommen. Der Stern kommt erst am Ende dazu.
@soerenkierkegaard2968 Жыл бұрын
was passiert wenn man für ein Tupel von Zuständen die Folgezustände für eine Eingabe überprüfen will ( zB. a) aber nur einer der Folgezustände eine Verbindung hat, die über a geht? Einer der beiden Folgezustände hätte dann einfach ein "leeres" Feld? Wie kann ich mit so etwas umgehen?
@andreas.schaefer Жыл бұрын
Das ist eine gute Frage. Es kann nicht passieren, weil die Automaten DEAs sind also in jedem Zustand für jedes Symbol genau einen Übergang haben.
@jt_hopp Жыл бұрын
Bei 15:34 sind die Folgen in der Grafik vertauscht.
@andreas.schaefer Жыл бұрын
vielen Dank für den Hinweis, Sie haben natürlich Recht.
@jt_hopp Жыл бұрын
Korrektur: Die Heaviside-Funktion ist H(x) = 0 für x <= 0 und 1 für x > 0
@sempribo Жыл бұрын
Tolle Erklärung, Danke!
@MADONITE Жыл бұрын
Super Video, danke dafür! Grüße von der HTWK Leipzig (Master Informatik) :)
@mohamadnaser2697 Жыл бұрын
It is also right, to replace the "+" with at "." ?
@andreas.schaefer Жыл бұрын
(a + b) denotes alternatives, another common notation is (a | b) whereas . usually means concatenation
@mohamadnaser2697 Жыл бұрын
@@andreas.schaefer thanke you very much for the explanation
@_________________404 Жыл бұрын
Finally someone who actually explains what these math formulas mean
@idwantto6954 Жыл бұрын
POV Info Unterricht und nix gecheckt nach nem halben Jahr
@victor-ioncislari2375 Жыл бұрын
Super Video! Grüße von DHBW Mannheim.
@frankklettke52592 жыл бұрын
Unglaublich ......wer soll das den gleich verstehen ....ganz schlecht für Schüler
@rutexgreat3619 Жыл бұрын
Naja in Prinzip diese Videos sind nicht für Schule sonnst für Uni gemacht. Aber in Prinzip bei letzte Viertel stimme ich dir mehr zu.
@mehedyhassan83442 жыл бұрын
Thank you. I finally got it.
@NatanGoldstein2 жыл бұрын
Very clear explanation. Thank you!
@BaMagraM6662 жыл бұрын
sehr hilfreich, vielen dank! 😊
@carina-nonbinary2 жыл бұрын
Jap ich werde durchfallen
@oliveryt71682 жыл бұрын
Achsooo... Hatte zuerst nicht verstanden, wie die TM zu ihrem Endzustand kommt (darf sie in einer loop gefangen sein? wäre "nicht so gut"), aber das passiert ja, wenn sie alle x in Zustand q_0 durchläuft und dann auf ein blank kommt, das blank setzt und schließlich in q_f übergeht. Danke für den Denkanstoß! Grüße von der TH Köln.
@ChickenTheDuck2 жыл бұрын
Ehrenmann hat uns echt geholfen. Nächstes mal bitte lauter
@MsLilyYeah2 жыл бұрын
Wie heißt der Minimierungsalgorithmus, der hier verwendet wird?