Analyzing Structure Rewriting Systems


Lukasz Kaiser, Research Group Computer Science 7

Title Analyzing Structure Rewriting Systems
When 05.03.2008, 15.00 Uhr
Where Lecture Room Informatik 11
Abstract A single state of an analyzed system has, in practice, often a complex structure in itself. Still, in theory, we can only have good methods to handle systems with simple states, e.g. trees.

We show

how this gap can be briged by logical interpretations of structures in trees. This allows us to apply tree automata to the analysis of a basic kind of systems where states are modelled by arbitrary finite relational structures.

Slides download