RedTape (Explicit)

DFA (Explicit)