https://www.techopedia.com/definition/18835/deterministic-finite-automaton-dfa