Title: Automata Languages and Programming Proceedings