Language and Automata Theory and Applications