Tutorial: Jak vytvořit první automat


  1. Po spuštění aplikace vybereme v menu Soubor->Nový (Ctrl+N). Do názvu automatu zadáme např. "Hello" a klikneme na Ok.



  2. V menu klikneme na Nástroje->Orthomód (F8). Ve statusbaru se objeví nápis ORTHO. Zapneme tak pro lepší vzhled automatu režim, kde se přidané hrany zalamují pouze do pravého úhlu.

  3. Z toolbaru vybereme nástroj Přidat stav (hot-key 3) a klikneme na pracovní plochu. Na právě přidaný stav klikneme pravým tlačítkem, čímž dojde k vyvolání dialogu s vlastnostmi objektu. Do jména stavu vyplníme "s" a jako typ stavu zvolíme "počáteční". Klikneme na Ok.



  4. Z toolbaru vybereme nástroj Pohyby (2), myš posuneme nad pracovní plochu mimo objekty, stiskneme levé tlačítko a pohneme pracovní plochou tak, aby námi vytvořený stav byl na levé straně pracovní plochy.



  5. Z toolbaru vybereme nástroj Přidat stav (3) a klikneme na pracovní plochu. Všechny vlastnosti stavu necháme v původním nastavení.



  6. Z toolbaru vybereme nástroj Přidat hranu (5), klikneme na počáteční stav "s" a táhneme hranu do stavu "q1". Na právě přidanou hranu klikneme pravým tlačítkem a zobrazí se nám dialog s vlastnostmi hrany. Do pole Vstupní symbol(aktivace přechodu) vyplníme "H"
    a klikneme na Ok.



  7. Opakujeme předešlé dva kroky, abychom dosáhli stejného výsledku jako na obrázku níže. Ve vlastnostech posledního stavu nastavíme typ stavu na "koncový".



  8. Právě jsme vytvořili náš první automat a můžeme přistoupit k ověření jeho správnosti. V menu klikneme na Nástroje->Verifikace (Alt+V). V otevřeném dialogu klikneme na tlačítko Verifikuj. V případě, že verifikace proběhla v pořádku, můžeme přistoupit ke spuštění animace automatu.



  9. V menu vybereme Nástroje->Animace (Alt+A). Zobrazený dialog přesuneme mimo hlavní okno aplikace, abychom viděli vytvořený automat.
    V dialogu klikneme na tlačítko Nastav (Alt+N), jako vstupní řetězec zadáme "Hello" a klikneme na Ok. Nyní můžeme spustit animaci automatu kliknutím na tlačítko Spusť (Alt+S).



  10. Nyní můžeme hotový automat uložit. V menu klikneme na Soubor->Uložit (Ctrl+S). Do jména souboru vyplníme např. "hello" a klikneme na Uložit.





Obsah