Finite Automata and Their Decision Problems