published in Language and Automata Theory and Applications : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings Proceedings