VisA: towards a students' green card to automata theory and formal languages

Abstract

We describe the software pa&age VISA (Visualized Automata and Formal Languages) -which will be part of an Internet tutorial for an undergraduate course on automata and formal language theory. Compared to already existingtools in this area, -whichonly exqhin automata ad their functioning, VISA is also able to visualize constructions step-by-step, e.g., the conversion of nondeterministic iinite automata into deterministkones, the conversion of finite automata into regular expressionsand ~ice uem~