Descriptional complexity of formal systems : 9th international workshop, DCFS 2007, July 20-22, 2007, High Tatras, Slovakia] - Geffert, Viliam, 1955-; Pighizzini, Giovanni (Institute of Computer Science, University of P. J. Šafárik, Faculty of Science, 2007)