Text this: Formal Properties of Finite Automata and Applications :