Quick Guide

1
Choose and start : cycle NFAs with "Change NFA" then click "Start Conversion".
2
Select a state : click a non-start/non-accept state to highlight it.
3
Eliminate : click "Eliminate State" to remove the selected state.
4
Repeat : continue eliminating states until only start and accept remain.
5
Final regex & undo : check the "Final Regular Expression" panel; use "Step Back" or "Reset" to manage mistakes.
Controls:

Current NFA State

Click a non-start, non-accept state to select it (it will be highlighted). After selecting, click "Eliminate State" to apply the elimination; use the "Step Back" button to undo and "Reset" to restart.

Current Regular Expression

Click "Start Conversion" to begin

Conversion Steps

0 Initial NFA
Original NFA ready for conversion

Final Regular Expression

Conversion not started