Automata Theory and its Applications