Seminars

Links' Seminars and Public Events Add to google calendar
2017
Fri 13th Oct
11:00 am
1:00 pm
Add event to google
Dimitri Gallois: On parallel rewriting
Show in Google map
B21
Fri 29th Sep
10:00 am
12:00 pm
Add event to google
Nicolas Bacquey: "An algorithm for deciding the equivalence of tree transducers"
As an extension of word transformations, tree transformations have numerous applications in computer science : XSLT transformations, Unix packages installation and removal, databases queries... Likewise, there are many formal models to describe these transformations. However, the proof of formal properies on these models is often difficult, or even undecidable.
In this talk, I will be interested in one of the simplest model for tree transformations, namely deterministic top-down tree transducers (DTOP). It has been known for a while that the equivalence problem of DTOPs can be solved via an earliest normal form comparison algorithm, that is in 2EXPTIME. However, when applying this algorithm to practical cases, it seemed that the worst case was not bound to happen often, if ever.
I will present a new algorithm for the problem, based on the search of counterexamples via the expansion and unification of a set of rules over states of DTOPs. The most interesting feature of this algorithm is that it runs in exponential time, thus proving that the equivalence problem of DTOPs is in fact EXPTIME-complete.

Show in Google map
Lille B31

Permanent link to this article: https://team.inria.fr/links/seminars/