Fundamentals of Computation Theory: 16th International Symposium, Fct 2007, Budapest, Hungary, August 27-30, 2007, Proceedings

This book features the refereed proceedings of the 16th International Symposium on Fundamentals of Computation Theory. Thirty-nine full papers are presented along with four invited papers. The papers address all current topics in computation theory, including automata and formal languages, design and analysis of algorithms, computational and structural complexity, semantics, logic, circuits and networks, learning theory, and more.