An error occurred while fetching folder content.
Daniel Neider
authored
Now correctly completes a deterministic Owl automaton before translating to a Moore machine. Also now uses deterministic automata in command line interface.
| Name | Last commit | Last update |
|---|