FCT 2007. Fundamentals of computation theory. 16th international symposium. Proceedings. Budapest, 2007. (Lecture notes in computer science 4639.)