 Diskrétní  Abstraktní  Sekvenční  Deterministický  Dynamický.

Prezentace na téma: " Diskrétní  Abstraktní  Sekvenční  Deterministický  Dynamický."— Transkript prezentace:

1

2  Diskrétní  Abstraktní  Sekvenční  Deterministický  Dynamický

3  Mealyho automat  Mooreův automat prvního typu  Mooreův automat druhého typu

4  Výčtem  Tabulkou  Grafem  Stromem

5  Je dán: Přechodovou funkcí Výstupní funkcí Množinou stavů Vstupní abecedou Výstupní abecedou ME(S,I,O,s0,λ,δ)

6  Viz XLS

7  Nemá výstupní funkci v pravém slova smyslu  Každý stav zároveň odpovídá výstupní hodnotě  V MO1 je nejdříve provedena změna stavu a poté  vygenerována výstupní hodnota

8  Je dán: Množinou stavů Přechodovou funkcí Vstupní abecedou Výstupní abecedou  MO(S, I, O, s0, δ, μ)

9

10

11  Automaty mohou vykazovat podobné vlastnosti  Mohou být vnitřně stejné (strukturální podobnost)  Mohou se stejně chovat (funkční podobnost)

12  Měl by mít méně stavů  Vstupy a výstupy by měly být stejné  SV vlastnost: Pro dva stavy ležící ve stejné třídě rozkladu platí, že jejich následník na shodný vstup leží opět ve stejné třídě rozkladu

13  Pro všechny stavy z jedné třídy rozkladu platí, že na stejný vstup mají stejné chování, tedy dávají stejný výstup a stav  Nejmenší SV a K podílový automat je nazýván redukt