Although I did not post about FADO before, I think it’s better late than never.

Fado was developed in the Universidade do Porto (yes, they speak Portuguese) and it is used for Automata manipulation and tools [1].

I developed together with another researcher a small website in Django for Automata properties verification[2*]. Finite automatas might be deterministic or not-deterministic and although simple, they are very powerful computing machines.

Combined with I-Laser and GUItar[3], which is the visualization tool, Automata can be very simplified and used for many things.

[1]http://fado.dcc.fc.up.pt/

[2*] Later this project was named i-Laser and can be accessed here:

http://laser.cs.smu.ca/independence/

[3]http://guitar.dcc.fc.up.pt/