Témata nápovědy

Ovládání programu

Stav

Přechod

Simulace

Konečný automat

O aplikaci

Stav

Co je to stav

Stav je součástí každého automatu. Každý automat je definován množinou stavů, počátečním stavem, který je jedním ze stavů automatu, a množinou stavů koncových, které jsou podmnožinou množiny všech stavů automatu.Více o automatu a jeho definici

V některých typech konečných automatů se mohou vyskytovat také nedostupné stavy a stavy neukončující.

  • Nedostupné stavy jsou ty, do kterých se nelze žádnou kombinací pravidel dostat z počátečního stavu.
  • Neukončující jsou ty stavy, ze kterých se nelze kombinací pravidel dostat do žádného koncového stavu.
Při návrhu automatu se doporučuje stavy, které jsou nedostupné a neukončující, odstranit, neboť v automatu neplní žádnou funkci.

Příklad nedostupného a neukončujícího stavu

Jak vytvořit a ovládat stav v tomto programu

Stav lze vytvořit dvojklikem levého tlačítka myši tam, kde se ještě žádný nenachází. Pokud chcete vytvořený stav přesunout, učiníte tak držením levého tlačítka myši a táhnutím na místo, kam chcete stav přemístit. Stav lze editovat buď dvojklikem levým tlačítkem myši, nebo jeho označením a pak stisknutím tlačítka "Stav" v panelu nástrojů. Pokud potřebujete daný stav smazat, stačí jej označit levým tlačítkem myši, stav by měl být obarven na zeleno, nyní stisknětě klávesu "Delete" na klávesnici a stav bude vymazán. POZOR!!! Mažete-li stav, budou vymazány i všechny přechody, které vedly z/do tohoto stavu!!!

Ukázka okna pro nastavení stavu

Nastavitelné vlastnosti stavu

  • název - lze vyplnit název stavu, na přijetí řetězce automatem toto nemá vliv, je to pouze orientační označení pro přehlednost automatu
  • koncový - pokud je stav koncový, zaškrtněte políčko u "koncový", že je stav nastavený na koncový, poznáte podle toho, že stav je olemován dvojtou čarou
  • počáteční - pokud je stav počátečním, zaškrtněte políčko u "počáteční", nastavení stavu na počáteční poznáte podle krátké čáry, která vede šimko doleva nahoru od okraje stavu
  • aktivní - využívá se při simulaci, nastavení stavu na aktivní poznáte podle toho, že je zbarven načerveno, pozor ovšem pokud máte nějaký stav označen zelenou barvou, jeho aktivitu zjistíte buď otevřením "State window" z panelu nástrojů, bude-li v otevřeném okně zaškrtnuto políčko "aktivní", stav je aktivní (toto okno lze otevřít dvojím kliknutím na daný stav), nebo klikněte levým tlačítkem na jiný stav
Stav může být zároveň počáteční i koncový, počáteční stav je v každém automatu pouze jeden, pokud nastavíte počátečních stavů více, budete na toto upozorněni při spuštění simulace.

Ukázka počátečního, koncového, aktivního a označeného stavu