Language and automata theory and applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings (Springer, 2010)