Berechenbarkeit #06 - Mehrband-DTMs
Вставка
- Опубліковано 6 вер 2024
- Wir sehen uns an, was Mehrband-Turingmaschinen (k-Band-Turingmaschinen) sind, was sie für Vorteile haben, und was für Sprachen man mit ihnen erkennen kann. Am Ende des Videos gibt es noch ein kleines Quiz.
2-Band-DTM für {w#w}:
turingmachinesi...
3-Band-DTM für {a^nb^nc^n}:
turingmachinesi...
Ich wüsste nicht wie ich die Klausur ohne deine Hilfe bestehen sollte. Du rettest jedes Mal mein Zeitmanagement bezüglich des Lernplans! Ich bin so dankbar für diese Reihe :D und dann auch noch so einfach und schnell erklärt, mit Tipps und Tricks, unglaublich gut.
Ochhh Mann, ich habe die ganze Theoretische Informatik kurse an meiner Hochschule verpasst, und musste mich selbst auf die Übungsbuch vorbereiten. Als internationaler Student, die nicht so gut Deutsch kann, dein Videos hilft nicht nur beim meinem Sprachkentinisse zu verbessern aber du unterrictest genau am Punkt. Dein Videos sind immer so klug eingebaut und es enthält ausreichende Informationen, die man später nutzen kann beim sogenannten "Brainstormen" um die Frage wirklich lösen zu können. Mach so weiter mein Held!
Die Videos sind echt genial, ich schreibe nächste Woche meine Theo Info 2 Prüfung und habe ne menge Stoff verpasst. Aber diese Videos helfen mir gerade alles nachzuholen. Wenn ich meine Prüfung bestehe verdank ich das diesem Channel.
hervorragend
ohne scheiss ... sehr gut !
Perfekt
Sehr hilfreich
Danke dir!!!!
Gut erklärt
Danke
Du erklärst unglaublich gut.
Eine Frage nochmal bitte.
Wenn ich als Eingabewort ww mit w=1110 kann ich bitte selbst ein Trennsymbol # hinzufügen?
Sind denn die 2 dimensionalen Turingmaschinen im Grunde genommen Turing-Maschinen mit unendlich vielen Bändern oder mit unendlich vielen Spuren? Also bewegen sich die Leseköpfe unabhängig voneinander oder abhängig voneinander?
2-dimensionale Turingmaschinen sind kein übliches Berechnungsmodell, zumindest habe ich noch nie davon gehört. Aber wenn man sie definieren würde, dann hätten sie wohl nicht unendlich viele Leseköpfe, da man dann ja das Verhalten der Turingmaschine dann abhängig von unendlich vielen gelesenen Symbolen darstellen müsste, die Beschreibung einer solchen Turingmaschine wäre also unendlich lang, das wäre also keine nützliche Definition.
Ich könnte mir aber folgende Definition vorstellen: Statt einem 1-dimensionalen Arbeitsband haben wir eine 2-dimensionale Arbeitsfläche, die in alle Richtungen unbeschränkt ist. Wir haben weiterhin nur einen Lesekopf, aber der kann sich nun in jedem Schritt nicht nur nach rechts oder links, sondern auch nach oben und unter bewegen.
Wenn man diese Videorreihen die du machst alle angeschaut hat, kann man dann die Prüfung von theoretische Informatik problemlos bestehen?
bzw decken deine Videos das alles vollständig ab?
Das kommt natürlich darauf an, welche Themen an deiner Uni vorkommen. Aber ich habe bereits einen großen Teil der typischen Themen abgedeckt, was noch fehlt ist das Themenfeld Unentscheidbarkeit, Semi-Entscheidbarkeit, Satz von Rice, rekursive Aufzählbarkeit und so.