PDA - Pushdown Automaton - Automaten & Formale Sprachen 13

แชร์
ฝัง
  • เผยแพร่เมื่อ 5 ต.ค. 2024

ความคิดเห็น • 46

  • @montagdeutsch8060
    @montagdeutsch8060 2 ปีที่แล้ว +144

    Willkommen zum Jährlichen Treffen der "Ich lerne einen Tag vor der Prüfung" Menschen ✨

  • @eunjilee5740
    @eunjilee5740 4 ปีที่แล้ว +37

    Wenn einem einen Tag vorm Info Abi auffällt dass man ein Thema vergessen hat zu wiederholen-

  • @francescogruen2385
    @francescogruen2385 5 ปีที่แล้ว +23

    was wäre ich ohne eure tutorials :)

  • @legohistory
    @legohistory 5 ปีที่แล้ว +25

    Der gute alte Killerautomat

  • @ORGGStudios
    @ORGGStudios 5 ปีที่แล้ว +13

    Morgen Info Abi.. Ich freu mich!

    • @linknoir78
      @linknoir78 5 ปีที่แล้ว +1

      gewenzsko Same..Viel Erfolg 🍀

  • @OftFilms
    @OftFilms 6 ปีที่แล้ว +20

    Heute Klausur geschrieben und bestanden! danke für eure Videos :)

  • @anna-booklove
    @anna-booklove 5 ปีที่แล้ว +4

    Es fehlt, dass die Akzeptierungsverfahren durch leeren Keller und Endzustand äquivalent sind. Es kann also auch akzeptiert werden, wenn das Wort zu Ende ist und man sich in einem Endzustand befindet (unabhängig von dem Kellerinhalt).

  • @ganzanonymerjeremy
    @ganzanonymerjeremy 7 หลายเดือนก่อน

    Morgen Klausur. Glück auf

  • @nataliedessi6753
    @nataliedessi6753 2 ปีที่แล้ว

    Endlich hab ich das jetzt auch mal gecheckt 😂

  • @Dekishi
    @Dekishi 5 หลายเดือนก่อน

    viel glück beim abi morgen jungs, wollte das immer schon sagen

  • @Dwarrox
    @Dwarrox 3 ปีที่แล้ว +2

    Eselsbrücke für Last In- First Out : Tellerstapel --> der letzte Teller den man in den Schrank räumt ist der erste den man wieder raus nimmt :D

  • @Spielerandom
    @Spielerandom 8 หลายเดือนก่อน +1

    Was ist mir a^n bc^n ?

  • @yolo-mb4cy
    @yolo-mb4cy 4 ปีที่แล้ว +7

    WOOZU BRAUCHT MAN DEN MÜLL

    • @Nilslos
      @Nilslos 4 ปีที่แล้ว +3

      Um die Klausur zu bestehen (wobei der bei uns gar nicht dran kommt), oder im Klartext: Man braucht ihn NICHT!

    • @yolo-mb4cy
      @yolo-mb4cy 4 ปีที่แล้ว +1

      @@Nilslos bruh

    • @TheKacer16
      @TheKacer16 4 ปีที่แล้ว +5

      Um einen Job zu bekommen, wo du mehr Geld verdienen kannst, so dass du noch mehr Steuern auszahlen kannst. Und um ausgelacht zu werden, von Leuten, die nicht mal arbeiten und womöglich ein besseres Lebensstyle haben als du 😂

    • @aminesemlali6199
      @aminesemlali6199 4 ปีที่แล้ว

      @@TheKacer16 Hahahahahaha you got it right !

    • @lennard4454
      @lennard4454 2 ปีที่แล้ว

      Xd Jedenfalls nicht um echte Informatik in Unternehmen zu betreiben.

  • @ameralhafid7671
    @ameralhafid7671 5 ปีที่แล้ว

    Perfect explaination

  • @EdiWng
    @EdiWng 4 ปีที่แล้ว +1

    Turing Maschine comeback nach 3 jahren?😅

  • @jonasmies6208
    @jonasmies6208 3 ปีที่แล้ว +4

    Also ihr erklärt das ganz schön, aber warum zwingt ihr den Sprecher so zu reden? Ihr müsst uns den Kram doch nicht verkaufen, also chillt!

  • @mint_fresch4329
    @mint_fresch4329 7 หลายเดือนก่อน

    S->aA | €
    A->bS
    done NEA(Automat) mit belibigem n von 0 bis unentlich

  • @raphaelhild2968
    @raphaelhild2968 6 ปีที่แล้ว +2

    6:35 Müsste nicht der Zustand q0 auch akzeptierend sein, weil man auch ein Wort, dass nur aus "a"' besteht, akzeptieren kann?

    • @DIeWasserkanne
      @DIeWasserkanne 5 ปีที่แล้ว +2

      Nicht deswegen, wie "El Chancho" schon gesagt hat, aber wenn das n in a^n und b^n auch Null sein kann, ist auch das leere Wort erlaubt und damit auch der Anfangszustand akzeptierend.
      Außerdem gibt es nicht nur das Akzeptieren durch leeren Stack, sondern auch das akzeptieren eines Kellerautomaten im akzeptierenden Zustand.
      (Ich weiß der Comment is alt, hilft aber vllt jemandem weiter ;))

    • @neh552
      @neh552 4 ปีที่แล้ว +7

      @@DIeWasserkanne Im Beispiel des Videos ist n>0. Daher kann der Zustand q0 nicht akzeptiert werden, da immer mindestens ein a und ein b vorhanden sein müssen.

    • @DIeWasserkanne
      @DIeWasserkanne 4 ปีที่แล้ว

      @@neh552 Jep, dann ja

    • @en7998
      @en7998 4 ปีที่แล้ว

      @@DIeWasserkanne man könnte den pda zu a^n b^n | n>=0 erweitern indem man die regel q0,Ɛ,# --> q2,Ɛ hinzufügt

    • @DIeWasserkanne
      @DIeWasserkanne 4 ปีที่แล้ว

      @@en7998 Ja, ich denke das funktioniert (wenn # am Anfang immer im Stack liegt und q2 der akzeptierende Zustand ist oder dieser durch leeren Stack akzeptiert)

  • @chrisaes3235
    @chrisaes3235 3 ปีที่แล้ว

    Verstehe ich richtig, dass a^0 b^0, sprich das leere Wort, hier nicht akzeptiert wird? Danke!

  • @tonikaiser2823
    @tonikaiser2823 5 ปีที่แล้ว

    ok also damit tun die kontextfreien auch mathcn weil ja dann immer die gleiche menge wieder vom stapel entfernt werden muss die darauf gelegt wurde oder?

  • @justanaquarius320
    @justanaquarius320 3 ปีที่แล้ว

    kann jemand mir bitte erklären, wieso abab und ab nicht zu der Sprache gehören?

    • @jsas2047
      @jsas2047 ปีที่แล้ว +1

      Ist etwas älter aber ich antworte trotzdem mal: Weil a und b hier nicht vertauscht/vermischt werden können. Du hast erst a^n (eine Anzahl an a) und danach b^n (eine gleich große Anzahl an b).
      abab wäre ab^n (bzw. ab^2). Deswegen geht auch ba nicht

  • @Joe-mx1jb
    @Joe-mx1jb 3 ปีที่แล้ว

    habt ihr ein Video ueber Turing Berechnenbarkeit gemacht ?

  • @SIsForSteppi
    @SIsForSteppi 7 ปีที่แล้ว +1

    So ganz richtig ist euer PDA nicht oder? "ABAB" wäre zwar nicht möglich, allerdings wäre "AAABABBB" möglich - das Wort liegt aber nicht in der Sprache...

    • @BackfeetBoi
      @BackfeetBoi 6 ปีที่แล้ว +8

      Ich sehe hier keinen Fehler. Ich verstehe auch nicht ganz wie du auf das "...BA..." in der Mitte kommst. Vielleicht kannst du die Stelle im Video angeben auf die du dich beziehst?
      Aus den gegeben Regeln sind nur diese Aktionen möglich:
      S) Wir *lesen* `a` & entf. `#` und *schreiben* 1`A` + `#`
      1) Wir *lesen* `a` & entf. `A` und *schreiben* 2`A`
      2) Wir *lesen* `b` & entf. `A` und *schreiben* ``
      3) Wir *lesen* `` & entf. `#` und *schreiben* ``
      Mit diesen Regeln können nur Wörter a^n b^n akzeptiert werden.
      Ich glaube du scheinst die "kleinen buchstaben" mit den "GROSSEN BUCHSTABEN" zu verwechseln:
      Die "GROSSEN" schreiben wir nur (für uns/den Automaten) in den Stack, um uns den Zustand merken zu können.
      Die "kleinen" kriegen wir (als Automat) forgesetzt mit Anweisung diese zu prüfen ob sie als Zeichenkette (Wort) in der Sprache liegen.
      Abgesehen davon schreiben wir aber nie grosse `B` sondern nur grosse `A` in den Stack.
      Klar kann dir jetzt jemand das Wort aaababbb geben. Allerdings wirst du dann als Automat antworten, dass dies nicht in der Sprache liegt.

    • @SIsForSteppi
      @SIsForSteppi 6 ปีที่แล้ว

      Hab sicherlich irgendwas falsch verstanden :) Prüfung gut bestanden und mein Hirn erstmal rebellisch alles gelöscht... -.- haha