https://theory-of-computation-topic.blogspot.com/2022/10/what-is-deterministic-finite-automata.html