Save
Load
Test
RegExp:
Output:
Optimize
Optimize Old
Copy
↓
↑
DFA
DFA ↓
minimize NFA
get DFA by NFA
reverse NFA
Waterloo
equal
∑={
}
R
1
=
R
2
=
R
1
∩R
2
R
1
∪R
2
R
1
\R
2
R
1
=R
2
?
¬R
1
Result:
Automata: