Funkce v menu
První položkou v menu je Soubor. Obsahuje volbu Nový pro vytvoření
prázdné pracovní plochy pro nový automat. Dále Otevřít pro načtení automatu
ze souboru a Uložit pro uložení rozpracovaného automatu do souboru.
Poslední volbou v položce Soubor je Ukončit. Slouží k zavření aplikace.
Další položkou je Zobrazení. Zahrnuje volby Skrýt pomocné objekty a vypnout označováni.
Formát má položky pro nastavení Formátu objektů a Formátu automatu.
Další položkou jsou Nástroje. Zahrnuje volbu Verifikace, která ověří, zda
má vytvořený automat právě jeden počáteční stav, zda je deterministický, zda neobsahuje nedosažitelné stavy
a zda jsou všechny stavy automatu ukončující. Další volbou je Animace. Tato volba je přístupná pouze
po úspěšné verifikaci automatu. V animaci si nastavíme vstupní řetězec. Po jeho zadání se nám zobrazí, zda tento řetězec
patří do jazyka generovaného tímto automatem, a můžeme spustit animaci našeho automatu,
kde lze sledovat zpracování vstupního řetězce vytvořeným automatem.
Poslední položkou menu je Nápověda k aplikaci.
Obsah