A collection of tools for making automata theory and formal languages come alive.
Edwin Tsang
Jason R. Salemme
Octavian Procopiuc
Cecilia Magdalena Procopiuc
Kenneth H. Leider
Susan H. Rodger
Laboratório de Linguagens Formais