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