Make an automaton out of a AUT

[omarzd]

Hello. Can I create an automaton from the AUT format explained here?
Thank you

[mtf90]

Dear @omarzd, currently this is not possible -- the automatalib-serialization module only covers the SAF and TAF format.

Although looking at the AUT format it is very simple which is nice. I might look into writing a small serializer in the future to get myself in touch with JavaCC.

[mtf90]

Dear @omarzd, as you can see I added Serializers for the AUT format. Unfortunately this was not possible with JavaCC to due the nature of the grammar (or maybe with a lot of hacking) but for you as an end user, this should not matter ;).

Right now, the serializers are not embedded into the existing "SerializationProvider" landscape. I'm planning to refactor these interfaces and I integrate the AUTWriter/Reader afterwards.

[omarzd]

Thank you. I appreciate this. I'll give feedback once I try it out.