Automat skończony
Z Wikipedii
Automat skończony (ang. finite state machine, FSM) to abstrakcyjny, matematyczny, iteracyjny model zachowania systemu dynamicznego oparty o tablicę dyskretnych przejść między jego kolejnymi stanami (diagram stanów).
Ze względu na charakter przejść między stanami, wyróżnia się deterministyczne i niedeterministyczne automaty skończone.
Automaty skończone są ważnym narzędziem teoretycznym w tworzeniu i testowaniu oprogramowania, a jako modele szerszych procesów znajdują także swoje zastosowanie w matematyce i logice, lingwistyce, filozofii, czy biologii.
Maszyna Turinga jest generalizacją automatu skończonego operującą na nieskończonej pamięci.
[edytuj] Przykład działania
Na ilustracji po prawej stronie przedstawiono prosty automat skończony, który zachowuje się w sposób stabilny gdy na wejściu otrzymuje wartość binarną 1, i zmienia stan przy napotkaniu 0. Zaczyna on pracę od stanu S1 , i po przeczytaniu każdej cyfry (bitu) przechodzi do stanu Sj (gdzie: j=1 lub 2)
- stan startowy - S1
Proces ten można także zapisać w postaci tabeli:
|
|
|
|
| S1 | S2 | S1 |
| S2 | S1 | S2 |
Inaczej: przyjmując jako stan początkowy S1(q0) automat z diagramu akceptuje każdy ciąg z parzystą liczbą 0 (w tym ciąg bez 0 oraz ciąg pusty ε)
[edytuj] Przykład 2
Przedstawiony jako ilustracja we wstępie do artykułu automat jest w stanie badać podzielność liczby wejściowej przez 3. Automat zaczyna pracę od stanu S0, i po przeczytaniu każdej cyfry przechodzi do stanu Sj (gdzie: j=0, 1 lub 2)
- stan startowy - S0
Proces ten można także zapisać w postaci tabeli:
|
|
|
|
| S0 | S0 | S1 |
| S1 | S2 | S0 |
| S2 | S1 | S2 |
[edytuj] Patrz także
- Automat Moore'a
- Automat Mealy'ego
- Deterministyczny automat skończony
- Niedeterministyczny automat skończony
| Irlandia przewiduje spadek PKB i PNB |
|
Według władz Irlandii produkt krajowy brutto (PKB) tego kraju spadł w tym roku o 1,3 proc., a w 2009 roku spadnie o dalsze 0,8 proc. - poinformował minister finansów Brian Lenihan podczas prezentacji przyszłorocznego budżetu.
|
| MG: inflacja w październiku spadnie do 4,2 proc. rdr |
|
Inflacja w październiku wyniesie 0,3 proc. mdm i 4,2 proc. rdr. W ostatnich miesiącach tego roku wskaźnik w ujęciu rocznym powinien oscylować wokół 4 proc. - oceniają analitycy Ministerstwa Gospodarki.
|
| DJ MARKET COMMENT: European Stocks Rise; Bank Bailout Bounce |
|
European stocks climbed again Tuesday, extending the previous session's stellar rally, as investors embraced unprecedented bailout plans for banks in the U.K., Europe and the U.S.
|
| UEFA wyznaczy w maju gospodarzy Euro 2012 |
|
Ostateczna lista miast-gospodarzy Euro 2012 w Polsce i na Ukrainie będzie znana 15 maja przyszłego roku - oświadczył we wtorek w Kijowie Iwan Fedorenko, wiceprezes Federacji Futbolu Ukrainy (FFU) i dyrektor wykonawczy Euro 2012 na Ukrainie.
|
| Blue Media pierwszy w Rankingu Technology Fast 50 |
|
Blue Media po raz trzeci z rzędu na pierwszej pozycji Rankingu Technology Fast 50 w Europie Środkowej. Javatech na drugiej pozycji w kategorii Wschodzących Gwiazd.
|