Lang Theory & Finite Automata