Automatentheorie Flashcards
Was beschreibt ein Zustand?
Den Status des dargestellten Systems
Wie viele Zustände sind zu einer Zeit aktiv?
Einer
Was ist eine Transition?
Eine erlaubte Zustandsänderung
Was macht die Transitionsbedingung?
Sie gibt an welche Aktionen zu den jeweiligen Zustandsübergängen führen
Unter welchen Arten von Ausgaben werden Automaten unterschieden?
Akzeptoren, Klassifikatoren, Transduktoren
Welche Ausgaben macht ein Akzeptor?
Er gibt nur binäre Ausgaben an, die angeben, ob die Eingabefolge akzeptiert wurde oder nicht
Welche Ausgaben macht ein Klassifikator?
Mehrwertige Ausgaben
Welche Ausgaben macht ein Transduktor?
Ausgabefolgen aus dem Ausgabealphabet
Was ist eine reguläre Sprache?
Eine Sprache, welche von einem Endlichen Automaten erkannt wird
Wie sollten echte Systeme arbeiten?
Deterministisch
Was sind die Besonderheiten eines DEA (Deterministischer-Endlicher-Automat)?
Der DEA besitzt eine Transitionsfunktion und einen eindeutigen Zustandsübergang dank der Transitionsfunktion. Außerdem gibt es genau einen Nachfolgezustand
Was sind die Besonderheiten eines NEA (Nicht-Deterministischer-Endlicher-Automat)?
Der NEA besitzt eine Transitionsrelation, wodurch der Zustandsübergang nicht eindeutig ist. Außerdem gibt es mehrere Nachfolgezustände
Welche zwei Maschinen sind ein gutes Beispiel für Ausgabetypen?
Mealy-Maschine und Moore-Maschine
Von welchem Zustand sind die Ausgaben der Mealy- und Moore-Maschinen abhängig?
Mealy vom aktiven Zustand und Eingabe, Moore nur vom aktiven Zustand (z.B. Aufzug: Etagenanzeige)
Was ist eine Transitionsfunktion?
Eine Eingabefolge von Transitionen (Zustandsänderungen), z.B. abbaaab
