Descriptional complexity of formal systems : DCFS 2007, proceedings, ninth international workshop, High Tatras, July 20-22, 2007 - Jürgensen, Helmut (Univerzita Pavla Jozefa Šafárika v Košiciach, 2007)