Fundamentals of Computation Theory: 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991. Proceedings

This volume contains papers which were contributed for presentation at the international conference "Fundamentals of Computation Theory — FCT '91" heldat Gosen, near Berlin, September 9—13, 1991. This was the eighth in the series of FCT conferences organized every odd year. The programme of theconference, including invited lectures and selected contributions, falls into the following categories: — Semantics and logical concepts in the theory of computing, formal specification, — Automata an...