06_stavove_automaty

Stavové automaty

Přednáška 6

Semafor

• Úloha: Navrhněte stavový automat pro semafor
• Stavy

• Červená
• Oranžová
• Zelená
• Oranžovo-Červená

• Co tyto stavy reprezentují?

• Jednoznačnou situaci
• Minulost i budoucnost

• Co reprezentují přechody

• Změna stavu
• Akce

Semafor

• Stavy

• Červená
• Oranžová
• Zelená
• Oranžovo-Červená

• Co spustí přechod

• Vstupní signál
• Časování

• (A)synchronnost

Semafor

• Stavy

• Červená
• Oranžová
• Zelená
• Oranžovo-Červená

• Speciální stavy

• Nečinnost
• OranžováBliká
• ČervenáStále
• ČervenáChyba

Semafor

• Stavy

• Červená
• Oranžová
• Zelená
• Oranžovo-Červená
• Nečinnost
• OranžováBliká
• ČervenáStále
• ČervenáChyba

• Počáteční stav
• Konečný stav
• Chybový stav

Semafor

• Stavy

• Červená
• Oranžová
• Zelená
• Oranžovo-Červená
• Nečinnost
• OranžováBliká
• ČervenáStále
• ČervenáChyba

• Jak řešit více přechodů z jednoho stavu?

• Vstupní signál

Semafor

• Výhody řešení pomocí stavových automatů

• Rozšiřitelnost

• o podmínky
• o požadavky

• Dobrá grafická reprezentace
• Udržitelnost kódu

Stavový automat

• Abstraktní model
• Základní typy

• konečné  automaty deterministické (default)
• nedeterministické

• Různé definice 

• na automaty
• terminologii

• Detailně v jiných předmětech – zde seznámení

Stavový automat - obsah

• Přechodová funkce
• Stavy

• Počáteční
• Přechodové
• Koncové
• Chybové
• Aktuální

• Zdroj dat/zdrojů (i HW)
• Abeceda – množina vstupních znaků (i prázdná množina)
• Reakce

• Akce
• Přechod do jiného stavu
• Reset

Přechodová funkce

• Skládá se z přechodů

• každý má

• definiční obor
• obor hodnot

• Přechod je dán

• stavem odkud
• akcí
• stavem kam
• a případně řeší minulost

Přechodová funkce

• Lambda přechod

• přechod, který nereaguje na vstupní data
• příklad:

• Zpracování sekvence dat
• Sekvence „1 2“ značí začátek zprávy
• Sekvence „242“ značí konec zprávy
• Uprostřed konečný počet opakování jiné sekvence