DFA models are often simpler to interpret than relational models. The
InvDFAminimization already has code to convert Synoptic relational models into
DFA models using the dk.brics library. Integrate this code into Synoptic core,
and expose it with a command line option -- to give users the option of
outputting models as DFAs or as relational graphs.
Original issue reported on code.google.com by bestchai on 2 Feb 2012 at 2:21
Original issue reported on code.google.com by
bestchai
on 2 Feb 2012 at 2:21