Automata simulator. - Daniela Chudá; Dusan Rodina (CompSysTech, 2010)