Logic for Indexed Languages

We define Nested Dyck words and we show that the class of languages recognized by a realtime Nested Stack Automata coincides with the class of languages definable in a first order logic extended by existential quantifications over a matching and a family of unary relations defining a Dyck labeling. Venue Location Highlights 2014 will be held at Universite Paris Diderot in the Buffon building at 15 Rue Hélène Brion. View location in Google Maps and on campus plan. Accommodation You can find a variety of hotels close to the workshop venue, in the neighbourhood of Bercy - Bibliotheque Francois Mitterand. We also recommed and the Quartier Latin (two stops on RER C) and the area of Bastille / Gare de Lyon (three stops on Metro 14). For hotels in the Quartier Latin, you may refer to the list compiled by Institut Henri Poincaré. Directions

Authors

• El Makki Voundy

Keywords

No keywords are indexed for this paper.