Apply dk.brics intersection and minimization routines to invariant DFAs

[GoogleCodeExporter]

Having constructed the DFAs for each invariant used by Synoptic (Issue 36), use 
dk.brics to take the intersection of all the DFAs, and then use the 
minimization procedure to minimize the result.

Output the resulting DFA using its toString() method.

Having completed this, apply the resulting tool AND Synoptic to a few small 
examples in the traces/ directory (especially traces/abstract/). Record results 
for both algorithms and identify differences in the resulting models through 
manual inspection. Note that the models from the two tools will differ in the 
representation, so instead compare their ability to accept different kinds of 
strings/traces.

Original issue reported on code.google.com by bestchai on 7 Oct 2011 at 12:16

• Blocked on: #136

[GoogleCodeExporter]

There are a bunch of old code review comments for revision ff1cdae986a8 that 
still need to be addressed, here:
http://code.google.com/p/synoptic/source/detail?r=ff1cdae986a8

Please address these before closing out this issue.

Original comment by bestchai on 21 Nov 2011 at 3:54

[GoogleCodeExporter]

Finished in revision 971ce006cb24. Result is output using Graphviz. The 
attached example demonstrates that the languages accepted by the two models is 
the same for the abstract mid-branching example.

Original comment by jenny.abrahamson on 22 Nov 2011 at 12:54

• Changed state: Fixed

Attachments:

• mid_branching.png.dot.png
• finalDfaModel.dot.png

[GoogleCodeExporter]

I've done a code review for revision 971ce006cb24. Please take a look and 
respond/fix the raised issues.

Original comment by bestchai on 22 Nov 2011 at 1:36

• Changed state: Started

[GoogleCodeExporter]

Fixed in revision 58a67c5077bc

Original comment by bestchai on 28 Nov 2011 at 7:53

• Changed state: Fixed