Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
se:automatentheorie [2008-12-01 14:37] stefan |
se:automatentheorie [2014-04-05 11:42] |
||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
- | ====== Automatentheorie ====== | ||
- | |||
- | ===== Einleitung =====[[http://example.com|Externer Link]] | ||
- | * Einordung "Automatentheorie" | ||
- | * Formalisierung reaktiver Systeme (diskrete Systeme) | ||
- | * diskrete Systeme (Automatentheorie) ∈ kontinuierliche Systeme ∈ technische Kybernetik ∈ [[http://de.wikipedia.org/wiki/Kybernetik|Kybernetik]] (Wissenschaft von der Funktion komplexer Systeme) | ||
- | * Funktion endlicher Automaten: Eingaben → (innere) Zustände → Ausgaben | ||
- | * Klassifizierung | ||
- | * Endliche erkennende Automaten | ||
- | * am weitesten reduzierte Automaten | ||
- | * keine Äußerungen nach außen | ||
- | * nächste Stufe: minimale Reaktion (binär, z.B. Lampe an/aus) | ||
- | * **Eingaben**: Zeichenfolgen über Alphabet X = { x<sub>1</sub>, x<sub>2</sub>, ..., x<sub>n</sub> } | ||
- | * werden akzeptiert, wenn Automat im Endzustand ist | ||
- | * **Ausgaben**: Zeichenfolgen über Alphabet Y = { y<sub>1</sub>, y<sub>2</sub>, ..., y<sub>n</sub> } | ||
- | * **Zustände** (states): unterscheidbare Stadien der Verarbeitung von Eingaben | ||
- | * Zustandsmenge S = { s<sub>1</sub>, s<sub>2</sub>, ..., s<sub>n</sub> } | ||
- | * Partizipien weisen auf Zustände hin: "Taste gedrückt" etc. | ||
- | |||
- | ===== Deterministische endliche Automaten (DEA) ===== | ||
- | * **Definition**: A = (X, S, s<sub>0</sub>, δ, F) | ||
- | * X: Eingabealphabet | ||
- | * S: Zustandsmenge | ||
- | * s<sub>0</sub>: Anfangszustand | ||
- | * δ: Zustandsübergangsfunktion | ||
- | * S x X → S | ||
- | * δ(s<sub>i</sub>, x<sub>j</sub>) → s<sub>k</sub> (Folgezustand zu s<sub>i</sub>) | ||
- | |||
- | ===== ToDo ===== | ||
- | * Skript Herold lesen | ||