Automatoy
Import
Export
×
Export
×
Import
Automaton
Check
Conversion
initial
Go
state id
final?
alphabet
source
label
target
Check
word
OK?
name
type
algorithm