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.


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




Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s