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