FADO

All

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/

 

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 )

Google photo

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

Twitter picture

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

Facebook photo

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

Connecting to %s