Declares interfaces which model and support deterministic finite automata.