Documentation for Dfa. Dfa.Instant module helps you define your original deterministic finite automaton by building it on redis by a given name.
Dfa
Dfa.Predefined only predefines a behavior of state machine. The state machine here consists of machineand instance.
machine
instance