Regular State
Terminal State
Start State
Current State
Path State
Vocabulary: {a, b, c, eos}
Click "Next Step" to start the DFS demonstration