martes, 26 de marzo de 2013

Máquinas de estados finitas en C

La siguiente herramienta les permitirá construir una máquina de estados finitos

http://qfsm.sourceforge.net/download.html

Las dependencias son
Graphviz  ()
cmake
make

para instalar desde las fuentes usa la version 0.52 ya que la actual en Fedora 18 indica un error

/usr/include/string.h:66:77: error: declaration of ‘int memcmp(const void*, const void*, size_t) throw ()’ has a different exception specifier
/usr/include/graphviz/cdt.h:242:12: error: from previous declaration ‘int memcmp(const void*, const void*, size_t)’

El cual en el sourceForge, el autor indica lo siguiente:


Date: 2012-11-20 08:18:18 PST
Sender: sttoduProject Admin
I cannot reproduce the problem with Linux 3.2.0 / Ubuntu 12.04 / Qt 4.8.1 /
graphviz 2.26.3.
You seem to have graphviz 2.28 installed, and it seems that the problem
comes from an incompatibility between graphviz 2.28 and Qt.
I will do some further investigation.

Stefan

Y en mi caso, tengo Fedora 18, con graphviz 2.28 , que de acuerdo al autor, causa el problema indicado.