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