Speaker |
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 |
Event calendar
- Subscribe to the ics feed.
Upcoming Events
- No Events