LSV Seminar

The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.

The seminar is open to public and does not require any form of registration.

Past Seminars

Order-2 morphic words and recursion schemes

Visit website for this news | Export event in iCalendar format

Date
Tuesday, March 06 2012 at 02:00PM
Place
Salle de Conférence (Pavillon des Jardins)
Speaker
Laurent Braud (LaBRI, Université Bordeaux-1, France)

We investigate the infinite-words which are frontiers of solutions of recursive schemes, i.e. leaves by lexicographic order of infinite trees. For order-1 schemes, they are exactly the morphic words, i.e. images of fixpoints of morphisms of words. We extend this result to solutions of order-2 schemes, and introduce 2-morphic words. Safety is not a restriction when considering a specific tree shape, so these words are exactly the words of the corresponding level in the pushdown hierarchy and enjoy the associated properties.


About LSV

Agenda

Export agenda in iCalendar format | Past seminars

Tue, Jan 22
Tue, Jan 29
Tue, Feb 5
Tue, Feb 19

Past seminars