awali: Computation of/with finite state machines#
Awali is a software platform dedicated to the computation of, and with, finite state machines. Here finite state machines is to be understood in the broadest possible sense: finite automata with output — often called transducers then — or even more generally finite automata with multiplicity, that is, automata that not only accept, or recognize, sequences of symbols but compute for every such sequence a ‘value’ that is associated with it and which can be taken in any semiring. Hence the variety of situations that can thus be modellized.
graphviz must be installed from your distro, and available in the path.
Equivalent System Packages#
However, these system packages will not be used for building Sage because spkg-configure.m4 has not been written for this package; see trac ticket #27330