Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Recursion Schemes and their Automata Models

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Olivier Serre
Date
Le mardi 15 février 2011 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Olivier Serre (LIAFA, CNRS, Université Paris Diderot - Paris VII)

In this talk, I will present two equi-expressive models for generating infinite trees. The first one are higher-order recursion schemes, which can be thought as a deterministic rewriting system over terms (essentially, the simply-typed lambda calculus with recursion). The second one are higher-order pushdown automata, which are an extension of pushdown automata that uses stacks of stacks instead of stacks of symbols.

The first part of the talk will be devoted to present the models and give examples. The second part, will focus on properties of the trees generated by such models (in particular, the decidability of the monadic second order logic), and will illustrate the advantages of automata techniques when working with such objects.


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents