Diskrétní Abstraktní Sekvenční Deterministický Dynamický
Mealyho automat Mooreův automat prvního typu Mooreův automat druhého typu
Výčtem Tabulkou Grafem Stromem
Je dán: Přechodovou funkcí Výstupní funkcí Množinou stavů Vstupní abecedou Výstupní abecedou ME(S,I,O,s0,λ,δ)
Viz XLS
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
Je dán: Množinou stavů Přechodovou funkcí Vstupní abecedou Výstupní abecedou MO(S, I, O, s0, δ, μ)
Automaty mohou vykazovat podobné vlastnosti Mohou být vnitřně stejné (strukturální podobnost) Mohou se stejně chovat (funkční podobnost)
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
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