Implement serialization/deserialization into/from several formats

**Is your feature request related to a problem? Please describe.**
Would be useful to have serialization to several formats (e.g. JSON, HOA etc.)

**Describe the solution you'd like**
Provide utilities to serialize-/deserialize automata.

**Describe alternatives you've considered**
n/a

**Additional context**
n/a
