Reset
Regular State
Terminal State
Start State
Vocabulary: {a, b, c, eos}