Formale Sprachen #31 - Chomsky-Normalform herstellen

Wir sehen uns zwei Schritte der Konstruktion an, mit der man eine kontextfreie Grammatik in Chomsky-Normalform bringen kann. Die Chomsky-Normalform ist Voraussetzung für den CYK-Algorithmus, welcher das Wortproblem für kontextfreie Grammatiken löst.

Пікірлер: 52

  • @dp-mason
    @dp-mason5 жыл бұрын

    I can understand German better than I can understand my professor

  • @NLogSpace

    @NLogSpace

    5 жыл бұрын

    I also have an english channel (called LeifaktorEN). Unfortunately there are very few videos yet, but i want to produce more english videos in the future.

  • @Heisenberg355

    @Heisenberg355

    3 жыл бұрын

    LOL.

  • @airbusplain
    @airbusplain7 жыл бұрын

    In unserer Vorlesung zu den Grundlagen der Theoretischen Informatik sind weitere Themen, die klausurrelevant und für uns oft nicht leicht verständlich sind, diese hier: • Entscheidbarkeit • Die Klassen P und NP • Reduktionen • Halteproblem • o(n) und O(n) Danke für deine Videos!

  • @kimbold7928
    @kimbold79287 жыл бұрын

    Cool, dass du wieder Videos hochlädst. Die Videoreihe von dir ist echt hilfreich im Studium, erklärst das gut :)

  • @alexandraewe891
    @alexandraewe8912 жыл бұрын

    was ist das für ein genialer Mensch! Ich habe 2 Jahre versucht den Scheiß zu bestehen! Nun endlich verstanden!

  • @Kleiner9Partizane
    @Kleiner9Partizane6 жыл бұрын

    VIELEN DANK, du hast mir die Prüfung gerettet !

  • @drublacky1846
    @drublacky18462 жыл бұрын

    Mit deinen Videos sehe ich die anstehende Prüfung schon viel entspannter

  • @ahmedqasem1378
    @ahmedqasem13783 жыл бұрын

    Ich danke Ihnen vielmals für Ihre Videos . GUTE ARBEIT DANKE !!!!

  • @maxmustermann-hx3fx
    @maxmustermann-hx3fx Жыл бұрын

    Ich hab ein Herzinfakt bekommen als ich die Formale definition auf den Folien gesehen hab vielen Dank für das Video

  • @Meyeros
    @Meyeros7 жыл бұрын

    Erstmal vielen Dank für Deine Mühe.. Wir Zuschauer wissen dies wirklich zu Schätzen. Neben der Chomsky-Normalform gibt es auch die Greibach-Normalform. Ich würde mich freuen, wenn Du die auch noch besprechen könntest ^^ Wenn du weitere Themen suchst, hätte ich für Dich die (un)synchronisierten Produkte, Thompson-Konstruktionen oder Petrinetze als Vorschlag.

  • @gamzex3
    @gamzex33 жыл бұрын

    Vielen Dank für das Video! Hast alles sehr einfach und verständlich erklärt, habe es direkt verstanden :)

  • @vatoslocos9960
    @vatoslocos99607 жыл бұрын

    Wollte dich auch nochmal loben und dir für deine Mühe danken

  • @arnoc.2107
    @arnoc.21075 жыл бұрын

    Danke vielmals für dieses hilfreiche Video!

  • @huhuboss8274
    @huhuboss82746 жыл бұрын

    Danke für die ganzen guten Videos! :)

  • @anonymous1177
    @anonymous11777 жыл бұрын

    Super Videos! ;-) Dafür dass das Thema doch eher abstrakt ist kannst du das sehr gut erklären. Mach weiter so!

  • @19DavidVilla96
    @19DavidVilla967 жыл бұрын

    Danke, das hilft unglaublich viel!

  • @mohamadalibrahim2583
    @mohamadalibrahim25833 жыл бұрын

    Dankeschön für die Einfache klare Erklärung

  • @dasura9147
    @dasura9147 Жыл бұрын

    Danke für die Erklärung! :)

  • @ingasth6063
    @ingasth60632 жыл бұрын

    Themenvorschläge : Turing Maschine, Entscheidbare und aufzählbare Sprachen 🙏

  • @Boogeyyyman
    @Boogeyyyman4 жыл бұрын

    Super Video. Die Folien der Profs an meiner Hochschule erklären es schlecht. Du hingegen gut. Alles verstanden.

  • @dk9469
    @dk9469 Жыл бұрын

    Hammer Video. Super erklärt!

  • @florianbe5550
    @florianbe55506 жыл бұрын

    Vielen Dank!

  • @ivikiwi06
    @ivikiwi066 жыл бұрын

    endlich verstanden! perfektes video

  • @tombalabomba03
    @tombalabomba037 жыл бұрын

    geil, vielen Dank!

  • @ericcartman3485
    @ericcartman34853 жыл бұрын

    Danke, war sehr hilfreich

  • @mit-zwiebel
    @mit-zwiebel3 жыл бұрын

    Danke dir!

  • @tazplay3476
    @tazplay34765 жыл бұрын

    Danke !!!!

  • @anonymous1177
    @anonymous11777 жыл бұрын

    Die Themen Berechenbarkeit und Komplexitätstheorie werden in den gängigen TI-5-ETCS-Veranstaltungen eigentlich nur angeschnitten, sind aber trotzdem wichtig (und leider meist klausurrelevant ;-( ). Hier bieten sich zumindest bei Berechenbarkeit einige dankbare Aufgabenstellungen an: a) Zu einer Sprache oder (noch praktischer) zu einem Programm eine Turingmaschine angeben. b) GOTO vs WHILE-Programme

  • @nocodenoblunder6672
    @nocodenoblunder66722 жыл бұрын

    Sehr gut erklärt

  • @iharbakhanovich
    @iharbakhanovich4 жыл бұрын

    Der beste SpitzerNLogSpacer. Prima

  • @ELBARTOmovies
    @ELBARTOmovies5 жыл бұрын

    Starkes Video! Habe ich viel besser verstanden als in der Übung und Vorlesung zusammen!👩‍🏫 Falls ich die bevorstehende Theo-Inf Prüfung nicht schaffe, melde ich mich mit diversen Video-Vorschlägen! 😂👍

  • @karltherock8372

    @karltherock8372

    4 жыл бұрын

    wie liefs?

  • @Eppler123
    @Eppler1233 жыл бұрын

    Danke Danke Danke !!!

  • @queenpost
    @queenpost2 жыл бұрын

    Themenvorschlag: PCP-Theorem

  • @tobiasb.3966
    @tobiasb.39664 жыл бұрын

    Gutes Video

  • @HupfDole87
    @HupfDole877 жыл бұрын

    Also nochmal zu deinem Aufruf.: wär super wenn du Reduktion machen könntest!

  • @anonymous1177
    @anonymous11777 жыл бұрын

    Also für mich relevant wäre alles was in Richtung Compilerbau geht (aber das ist ja größtenteils Formale Sprachen). Außerdem: a) Deterministische kontextfreie Sprachen und darauf folgend Lösen des Wortproblems mit Kellerautomaten. b) Rechtslineare Grammatiken. Dann hast du Formale Sprachen zu 90% abgedeckt.

  • @TheoWasHere2
    @TheoWasHere23 күн бұрын

    Unser prof hat einfach mal die wichtige information übersprungen dass A -> BC oder A -> a... kein wunder das ich das solange nicht gecheckt habe :')

  • @alecbarth8907
    @alecbarth89075 ай бұрын

  • @sergkapitan2578
    @sergkapitan25784 жыл бұрын

    Wie immer ausgezeichnet! Braucht man nur noch O(n),etc., entscheidbarer Zeit (polynomiel,exponenziel,etc.), Typ 0,Typ 1 vs. andere (z.B. rechtsliniar-kontextfrei, kontexsensitive-kontextfrei,etc.),Chomsky-Schützenberger Theorem :) Dann Nobel Preis für Lehre complett ist !!!

  • @NLogSpace

    @NLogSpace

    4 жыл бұрын

    Danke :D Zu Typ-0- und Typ-1-Grammatiken habe ich auch Videos, die sind allerdings in der Serie über Berechenbarkeit.

  • @ReddDevil1982
    @ReddDevil19827 ай бұрын

    Gut erklärt! Fage: Hast du ein Video wo du erklärst, wie man diese Kettenregeln eliminiert, d. h. z. B. S -> T

  • @JoSh-yu6jt
    @JoSh-yu6jt5 жыл бұрын

    Superb erklärt. 👍🏻 Vorlesungsmaterialien haben mich nicht weitergebracht.

  • @fitcoachgermany2692
    @fitcoachgermany26922 жыл бұрын

    THemen: Aufzählbarkeit, Satz von Rice

  • @3DWaiter
    @3DWaiter4 жыл бұрын

    Vielen Dank für die Videos, haben mir oft sehr geholfen ... aber ist das hier korrekt/vollständig? In unserem Skript und allen anderen Erklärungen zu Chomsky-NF, die ich gefunden habe, darf S ausschliesslich oben auf die linke Seite stehen, sonst (also hier) muss S in der ursprünglichen Grammatik in z.B. S' umbenannt werden, und ein neues S als Startsymbol her mit S -> S', bevor die andere Umwandlungen gemacht werden. (Ist mir gerade im Video zum CYK-Algorithmus aufgefallen).

  • @NLogSpace

    @NLogSpace

    4 жыл бұрын

    In der Chomsky-Normalform darf S ruhig auf der rechten Seite stehen, es sei denn man hat die Regel S -> epsilon. Wenn man die Regel S -> epsilon in der Grammatik hat, dann darf S nicht auf einer rechten Seite vorkommen, dann führt man also ein neues Startsymbol ein, genau wie Du sagst. So machen wir das auch in den folgenden Videos!

  • @3DWaiter

    @3DWaiter

    4 жыл бұрын

    Ich habe besser nachgelesen, und es scheint geteilte Meinungen zu sein. In vielen Quellen steht es eindeutig, dass S nicht auf der rechte Seite stehen darf, in anderen gilt dies nur, wenn das leere Wort dabei ist. In der Deutschen Version von Wikipedia steht Deine Version, auf der Englische wieder nicht. Spielt wahrscheinlich in der Praktik keine Rolle, aber wenn wenn es im Skript ausdrücklich so steht, könnte man bei Klausuren Probleme bekommen. Also nochmal vielen Dank!

  • @NLogSpace

    @NLogSpace

    4 жыл бұрын

    @@3DWaiter Stimmt, manche definieren es so, manche so. Der wichtige Punkt dabei ist: Es spielt in der Praxis keine Rolle, denn man kann wie gesagt die eine Version in die andere umwandeln, indem man ein neues Startsymbol einführt.

  • @user-vi8br8dk2r
    @user-vi8br8dk2r5 жыл бұрын

    müsste es bei 7:40 nicht ein S -> B sein? Ich hätte gedacht, die Nichtterminale dürfen nur einmal in der rechten Seite vorkommen.

  • @NLogSpace

    @NLogSpace

    5 жыл бұрын

    Meinst Du "... die *Terminale* dürfen nur einmal in der rechten Seite vorkommen."? Dem ist nicht so. Die einzigen Einschränkungen sind die Form der Regeln, nämlich ein Nichtterminal auf zwei Nichtterminale (sowas wie A -> BC) oder ein Nichtterminal auf ein Terminal (sowas wie A -> a). Es gibt keine weiteren Einschränkungen, d.h. man kann beliebig viele (aber endlich viele) von diesen Regeln haben und es dürfen sich auch Symbole wiederholen.

  • @user-vi8br8dk2r

    @user-vi8br8dk2r

    5 жыл бұрын

    @@NLogSpace Okay, gut zu wissen. Danke für die schnelle Antwort!