search

oryanfuchs / synoptic

Automatically exported from code.google.com/p/synoptic
0 stars 0 forks source link

Integrate InvDFAMinimization DFA conversion code into Synoptic core #209

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
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

GoogleCodeExporter commented 9 years ago

Original comment by bestchai on 2 Feb 2012 at 2:22

GoogleCodeExporter commented 9 years ago

Original comment by bestchai on 18 Apr 2012 at 7:29