Büchi-Automat: Versionsgeschichte

Zur Navigation springen Zur Suche springen

Auswahl des Versionsunterschieds: Markiere die Radiobuttons der zu vergleichenden Versionen und drücke die Eingabetaste oder die Schaltfläche am unteren Rand.
Legende: (Aktuell) = Unterschied zur aktuellen Version, (Vorherige) = Unterschied zur vorherigen Version, K = Kleine Änderung

7. November 2020

  • AktuellVorherige 12:3912:39, 7. Nov. 2020 imported>Vanished user 8491027 7.786 Bytes +7.786 Sektion Eigenschaften eingefügt und Ausdrucksstärke NBA vs. DBA hinter Akzeptanzverhalten gesetzt, da Akzeptanzverhalten bekannt sein muss, um diesen Part zu verstehen. Die im Beispiel angegebene Sprache etwas vereinfacht und leeres Wort ausgeschlossen, damit grafischer NBA übereinstimmt. Ebenso Absätze die vorher nur aus einzelnen Sätzen bestanden zusammengefügt (siehe Wikipedia Style-Guide).
Abgerufen von „https://de.wiki.beta.math.wmflabs.org/wiki/Büchi-Automat“