|
Ein endlicher Automat ist ein Modell zur Beschreibung von sogenannten zustandsabhängigen Systemen. Merkmale:
. System befindet sich immer in einem bestimmten Zustand (es gibt endlich viele unterschiedliche Zustände)
. Es gibt Eingaben, die bewirken, dass das System seinen Zustand wechselt
. Ein Automat verarbeitet Symbole aus dem Eingabealphabet (endlich viele)
. Regeln, welcher Folgezustand aufgrund des aktuellen Zustandes und des nächsten Eingabesymbols eingenommen werden soll
. Graphische Darstellung durch sogenannte Zustandsdiagramme
. endliche Automaten entsprechen einer regulären Grammatik (links - Hilfssymbol; rechts - Grundsymbol oder Hilfssymbol)
. es gibt 2 Arten von endlichen Automaten:
o Allgemeine Automaten
o Erkennende Automaten
|
