Statemaker - export
Statemaker's export to txt-fit
should determine the type of the automaton and use it in the export file header
-
DFA
for deterministic FA (1 init state, for each state and symbol, only one outgoing transition, transitions are not using#E
(epsilon)) -
NFA
for nondeterministic FA (arbitrary automaton with 1 init state, no label containing#E
) -
ENFA
for epsilon NFA (arbitrary NFA with 1 init state where at least one transition uses#E
) -
MISNFA
for multinitial state NFA (is NFA and has more than 1 initial state) -
MISENFA
for multinitial state ENFA (is ENFA and has more than 1 initial state)- not yet implemented in
ALT
string::Parser
- see automata-library#186 (closed)
- not yet implemented in
We think this is kind of must-have feature. I am sorry that this is an extra work. Please estimate time for this task so we can determine the status of this task.