On the logical definability of topologically closed recognizable languages of infinite trees - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Computing and Informatics Année : 2002

On the logical definability of topologically closed recognizable languages of infinite trees

Résumé

In this paper, we prove that for any language L of finitely branching finite and infinite trees, the following properties are equivalent: (1) L is definable by an existential MSO sentence which is bisimulation invariant over graphs, (2) L is definable by a FO-closed existential MSO sentence which is bisimulation invariant over graphs, (3) L is defin- able in the nu-level of the modal mu-calculus, (4) L is the projection of a locally testable tree language and is bisimulation closed, (5) L is closed in the prefix topology and recognizable by a modal finite tree automaton, (6) L is recognizable by a modal finite tree automaton of index zero. The equivalence between (3), (4), (5) and (6) is known for quite a long time, although maybe not in such a form, and can be considered as a classical result. The logical characterization of this class of languages given by (1) (and (2)) is new. It is an extension of analogous results over finite structures such as words, trees and grids relating full existential MSO and definability by finite automata.
Fichier principal
Vignette du fichier
full.pdf (198.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00659986 , version 1 (14-01-2012)

Identifiants

  • HAL Id : hal-00659986 , version 1

Citer

David Janin, Giacomo Lenzi. On the logical definability of topologically closed recognizable languages of infinite trees. Computing and Informatics, 2002, 21, pp.185--203. ⟨hal-00659986⟩

Collections

CNRS
75 Consultations
94 Téléchargements

Partager

Gmail Facebook X LinkedIn More