Title: Implementation and Applications of Automata