Textual description of learnt automata

[Nikos Katzouris]

Dear all,

Is there a way to extract a learnt automaton in a some textual format that describes the states (start/end) and the transitions of the automaton? 

Thank you.

Best regards,

Nikos  

[Markus Frohme]

Hi Nikos,


check out one of the serializer of AutomataLib [0]. I think the best formats for "human" interpretation are DOT, AUT and TAF.

You can find some examples in the AutomataLib examples [1] (here we additionally use the GraphViz tool to visualize the automata directly) and the LearnLib examples [2].


Kind regards,
Markus


[0] - https://github.com/LearnLib/automatalib/tree/develop/serialization
[1] - https://github.com/LearnLib/automatalib/blob/develop/examples/src/main/java/net/automatalib/examples/dot/DOTExample.java
[2] - https://github.com/LearnLib/learnlib/blob/develop/examples/src/main/java/de/learnlib/examples/Example2.java

> --
> You received this message because you are subscribed to the Google Groups "LearnLib Q&A" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to learnlib-qa...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/learnlib-qa/2bc4a893-db0e-4eb2-8dd7-d85e65ab49adn%40googlegroups.com.