ASTATER.EXE je utilitka pro generovßnφ ABEL souboru pro stavovΘ automaty. Vygeneruje soubor se Üablonou, kterß bude odpovφdat vaÜim po₧adavk∙m na poΦet vstup∙, v²stup∙, na maximßlnφ poΦet podmφnek na stav, na poΦet klopn²ch obvod∙ a na jmΘna stav∙. Po vygenerovßnφ souboru sekvenΦnφho automatu budete muset provΘst n∞kolik zm∞n textov²m editorem. Tato utilitka vßm pom∙₧e uÜet°it Φas a dovoluje vßm koncetrovat se na logiku automatu a ne na syntaxi. Program se pou₧φvß snadn∞ji ne₧ n∞kterΘ legraΦnφ grafickΘ "generßtory" stavov²ch automat∙, kterΘ jsou na trhu a kterΘ jsou takΘ dost drahΘ.
