Importing dot files in Automata Lib

[Prajyothchand PJR]

Dear Team,

Could you please let me know if i can import 2 dot files in Automata lib to compare 2 DFAs ? Or should i translate the dot files into java classes. If so could you please let me know the procedure.

Regards ,

Jasper

[Markus Frohme]

Hi Jasper,


currently, there exists no DOT-Importer for AutomataLib.

I think the easiest way to import a DOT graph is to use a DOT parser (e.g. JPGD [0]) and construct a DFA (e.g. via an AutomatonBuilder) as you traverse the de-serialized dot graph.


[0] - http://www.alexander-merz.com/graphviz/

> --
> You received this message because you are subscribed to the Google Groups "AutomataLib Q&A" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to automatalib-q...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.