Revision history for EndlicherAutomat


Revision [8248]

Last edited on 2009-04-10 00:40:49 by ToBo
Additions:
[[Kybernetik]] > Technische Kybernetik > kontinuierliche Systeme > diskrete Systeme > Automatentheorie
Deletions:
Kybernetik > Technische Kybernetik > kontinuierliche Systeme > diskrete Systeme > Automatentheorie

Revision [6587]

Edited on 2008-11-21 00:17:24 by ToBo
Deletions:
===Deterministische Systeme===
Deterministische Systeme erlauben prinzipiell die Ableitung ihres Verhaltens aus einem vorherigen Zustand. Die Reaktion ist im so gesehen im Gegensatz zu stochastischen Systeme vorhersehbar.

Revision [6586]

Edited on 2008-11-21 00:17:01 by ToBo
Additions:
==a==Definition==a==
==a==Einordnung==a==
==a==Prinzip==a==
Deletions:
===Definition===
===Einordnung===
===Prinzip===

Revision [6585]

Edited on 2008-11-21 00:16:07 by ToBo
Additions:
{{image url="images/EndlicherAutomatMat.png"}}
""δ"": Zustandsübergangsfunktion (vergleiche mit State Event Matrix)
Deletions:
===Beschreibung===
A = (X, S, S""<sub>0</sub>, δ"", F)
""δ"": Zustandsübergänge

Revision [5694]

Edited on 2008-10-24 11:45:19 by ToBo
Additions:
""δ"": Zustandsübergänge
Deletions:
delta: Zustandsübergänge

Revision [5693]

Edited on 2008-10-24 11:44:58 by ToBo
Additions:
A = (X, S, S""<sub>0</sub>, δ"", F)
Deletions:
A = (X, S, S""<sub>0</sub>"", delta, F)

Revision [5692]

Edited on 2008-10-24 11:42:22 by ToBo
Additions:
{{image url="images/ATFS_Zustandsuebergang.png"}}

Revision [5691]

Edited on 2008-10-24 11:33:35 by ToBo
Additions:
F: Menge der Endzustände
Deletions:
F: Menge der Folgezustände

Revision [5690]

Edited on 2008-10-24 11:26:22 by ToBo
Additions:
A = (X, S, S""<sub>0</sub>"", delta, F)
Deletions:
A = (X, S, S""sub>0</sub>"", delta, F)

Revision [5689]

Edited on 2008-10-24 11:26:14 by ToBo
Additions:
S""<sub>0</sub>"": Menge der Anfangszustände
Deletions:
S""sub>0</sub>"": Menge der Anfangszustände

Revision [5688]

Edited on 2008-10-24 11:25:57 by ToBo
Additions:
===Beschreibung===
A = (X, S, S""sub>0</sub>"", delta, F)
X: Menge der Eingabesymbole, Eingabealphabet
S: Zustandsmenge
S""sub>0</sub>"": Menge der Anfangszustände
delta: Zustandsübergänge
F: Menge der Folgezustände

Revision [5663]

Edited on 2008-10-23 14:31:07 by ToBo
Deletions:
==a==Endliche (erkennende) Automaten==a==
Def. DEA (detirminstische, endliche. Automaten)
A = (X ,S, ""s<sub>0</sub>"", delta, F)
delta : S x X -> S
""delta(s<sub>i</sub>, x<sub>j</sub>) -> s<sub>k</sub>""
{{image url="images/ATFS_Zustandsuebergang.png"}}
===Beispiel Ablaufsteuerung===
{{image url="images/ATFS_Ablaufsteuerung.png"}}
Der Endzustand wird mit der Folge 111 erreicht.
delta* Fortsetzung der Zustandsübertragungsfunktion auf Wörter X*
delta*(s""<sub>0</sub>"", w) elem. S
Wort:
~w = ""x<sub>1</sub> x<sub>2</sub> ... x<sub>n</sub>""
~""x<sub>i</sub> elem. X""
delta*(s, epsilon) = s s elem. S, epsilon: leeres Wort
delta*(s,x""<sub>i</sub>"") = delta(s,x""<sub>i</sub>"") x""<sub>i</sub>"" elem. X (ein Zeichen)
delta*(s, x)
= delta(s, ""x<sub>1</sub> x<sub>2</sub> ... x<sub>n</sub>"")
= delta(delta(s, ""x<sub>1</sub>), x<sub>2</sub> x<sub>3</sub> ... x<sub>n</sub>"")
= delta(delta(delta(s, ""x<sub>2</sub>), x<sub>1</sub>), x<sub>3</sub> x<sub>4</sub> ... x<sub>n</sub>"")

Revision [5662]

Edited on 2008-10-23 14:25:28 by ToBo
Additions:
= delta(delta(delta(s, ""x<sub>2</sub>), x<sub>1</sub>), x<sub>3</sub> x<sub>4</sub> ... x<sub>n</sub>"")
Deletions:
= delta(delta(delta(s, ""x<sub>1</sub>), ""x<sub>1</sub>), x<sub>2</sub> x<sub>3</sub> ... x<sub>n</sub>"")

Revision [5661]

Edited on 2008-10-23 14:24:28 by ToBo
Additions:
""delta(s<sub>i</sub>, x<sub>j</sub>) -> s<sub>k</sub>""
~""x<sub>i</sub> elem. X""
Deletions:
""delta(s<sub>i</sub>, x<sub>j</sub>) -> s<sub>k</sub>
~x<sub>i</sub> elem. X

Revision [5660]

Edited on 2008-10-23 13:05:04 by ToBo

No Differences

Revision [5659]

Edited on 2008-10-23 13:04:47 by ToBo
Additions:
==a==Endliche (erkennende) Automaten==a==
delta* Fortsetzung der Zustandsübertragungsfunktion auf Wörter X*
delta*(s""<sub>0</sub>"", w) elem. S
Wort:
~w = ""x<sub>1</sub> x<sub>2</sub> ... x<sub>n</sub>""
~x<sub>i</sub> elem. X
delta*(s, epsilon) = s s elem. S, epsilon: leeres Wort
delta*(s,x""<sub>i</sub>"") = delta(s,x""<sub>i</sub>"") x""<sub>i</sub>"" elem. X (ein Zeichen)
delta*(s, x)
= delta(s, ""x<sub>1</sub> x<sub>2</sub> ... x<sub>n</sub>"")
= delta(delta(s, ""x<sub>1</sub>), x<sub>2</sub> x<sub>3</sub> ... x<sub>n</sub>"")
= delta(delta(delta(s, ""x<sub>1</sub>), ""x<sub>1</sub>), x<sub>2</sub> x<sub>3</sub> ... x<sub>n</sub>"")
Deletions:
===Endliche (erkennende) Automaten===

Revision [5658]

Edited on 2008-10-23 12:50:02 by ToBo
Additions:
Eingabe -> Zustandsautomat -> Ausgabe
===Beispiel Ablaufsteuerung===
Der Endzustand wird mit der Folge 111 erreicht.
Deletions:
(s<sub>i</sub>) ""---""x<sub>j</sub>""---> (""s<sub>k</sub>"")

Revision [5657]

Edited on 2008-10-23 12:47:21 by ToBo
Additions:
""delta(s<sub>i</sub>, x<sub>j</sub>) -> s<sub>k</sub>
(s<sub>i</sub>) ""---""x<sub>j</sub>""---> (""s<sub>k</sub>"")
Deletions:
delta(""s<sub>i</sub>", x<sub>j</sub>") -> s<sub>k</sub>
(""s<sub>i</sub>"") ---""x<sub>j</sub>""---> (""s<sub>k</sub>"")

Revision [5656]

Edited on 2008-10-23 12:46:37 by ToBo
Additions:
{{image url="images/ATFS_Zustandsuebergang.png"}}
Deletions:
Eingaben -> [Innere Zustände] -> Ausgaben

Revision [5655]

Edited on 2008-10-23 12:46:13 by ToBo
Additions:
{{image url="images/ATFS_Ablaufsteuerung.png"}}

Revision [5654]

Edited on 2008-10-23 12:22:49 by ToBo
Additions:
===Endliche (erkennende) Automaten===
Def. DEA (detirminstische, endliche. Automaten)
A = (X ,S, ""s<sub>0</sub>"", delta, F)
delta : S x X -> S
delta(""s<sub>i</sub>", x<sub>j</sub>") -> s<sub>k</sub>
(""s<sub>i</sub>"") ---""x<sub>j</sub>""---> (""s<sub>k</sub>"")

Revision [5653]

Edited on 2008-10-23 12:18:29 by ToBo
Additions:
Deterministische Systeme erlauben prinzipiell die Ableitung ihres Verhaltens aus einem vorherigen Zustand. Die Reaktion ist im so gesehen im Gegensatz zu stochastischen Systeme vorhersehbar.

Revision [5652]

Edited on 2008-10-23 12:15:51 by ToBo
Additions:
Zustände: S(state) __unterscheidbare__ Stadien der Verarbeitung von Eingaben. Zustandsmenge S = {""s<sub>1,</sub>, s<sub>2</sub>, ..., s<sub>i</sub>""}
===Deterministische Systeme===
Deletions:
Zustände: S(state) __unterscheidbare__ der Verarbeitung von Eingaben, S = {""s<sub>1,</sub>, s<sub>2</sub>, ..., s<sub>i</sub>""}

Revision [5651]

Edited on 2008-10-23 12:12:46 by ToBo
Additions:
Eingaben: Zeichenfolgen über Alphabet X = {""x<sub>1,</sub>, x<sub>2</sub>, ..., x<sub>n</sub>""}
Ausgaben: Zeichenfolgen über Alphabet Y = {""y<sub>1,</sub>, y<sub>2</sub>, ..., y<sub>m</sub>""}
Zustände: S(state) __unterscheidbare__ der Verarbeitung von Eingaben, S = {""s<sub>1,</sub>, s<sub>2</sub>, ..., s<sub>i</sub>""}
Indikator für Zustände: Partizip Perfect
Ein Euro ist eingeworfen.
Die Taste ist gedrückt.

Revision [5649]

Edited on 2008-10-23 11:52:29 by ToBo
Additions:
Endliche Zustandsautomaten (engl. Finite State Machines) werden in der Elektrotechnik und und virtuelle, endliche Zustandsautomaten in der Softwaretechnik zur Formalisierung und Realisierung reaktiver Systeme (diskrete Systeme) verwendet.
Einen endlichen Automat, ein Spezialfall des [[ZustandsAutomaten Zustandsautomaten]], kennzeichnet die endliche Anzahl seiner Zustände.
Ein endlicher Automat (eng. finite state machine) besteht aus Zuständen, Zustandsübergängen und Aktionen.
Deletions:
Endliche Zustandsautomaten (engl. Finite State Machines) werden in der Elektrotechnik und Softwaretechnik zur Formalisierung und Realisierung reaktiver Systeme (diskrete Systeme) verwendet.

Revision [5648]

Edited on 2008-10-23 11:44:49 by ToBo
Additions:
Eingaben -> [Innere Zustände] -> Ausgaben
Deletions:
Eingaben -> [''Innere Zustände''] -> Ausgaben

Revision [5647]

Edited on 2008-10-23 11:44:34 by ToBo
Additions:
Eingaben -> [''Innere Zustände''] -> Ausgaben
Deletions:
Eingaben -> [Innere Zustände] -> Ausgaben

Revision [5646]

Edited on 2008-10-23 11:43:58 by ToBo
Additions:
===Definition===
Endliche Zustandsautomaten (engl. Finite State Machines) werden in der Elektrotechnik und Softwaretechnik zur Formalisierung und Realisierung reaktiver Systeme (diskrete Systeme) verwendet.
===Einordnung===
===Prinzip===
Eingaben -> [Innere Zustände] -> Ausgaben
Deletions:
Formalisierung reaktiver Systeme (diskrete Systeme)
Einordnung:

Revision [5643]

Edited on 2008-10-23 11:39:20 by ToBo
Additions:
CategoryStudiumSE
Deletions:
CategoryMasterSE

Revision [5642]

Edited on 2008-10-23 11:38:54 by ToBo
Additions:
CategoryMasterSE

Revision [5641]

Edited on 2008-10-23 11:38:12 by ToBo
Additions:
=====Endliche Zustandsautomaten=====
Deletions:
=====Endliche Automaten=====

Revision [5638]

The oldest known version of this page was created on 2008-10-23 11:35:33 by ToBo
Valid XHTML :: Valid CSS: :: Powered by WikkaWiki