FLOXKSTAR (Explicit)

DFA (Explicit)