Ein wissenschaftliches Werk aus dem internationalen Kolloquium ICALP 2003 in Eindhoven, das aktuelle Erkenntnisse über endliche Automaten, formale Sprachen und Programmierparadigmen zusammenfasst und theoretische Entwicklungen beleuchtet.