Title: Formal Properties of Finite Automata and Applications