On labeled birooted tree languages: algebras, automata and logic

David Janin 1, 2
2 PoSET - Models for a Structured Programming of Space and Time
Inria Bordeaux - Sud-Ouest, SCRIME - Studio de Création et de Recherche en Informatique et Musique Électroacoustique, LaBRI - Laboratoire Bordelais de Recherche en Informatique
Abstract : With an aim to developing expressive language theoretical tools applicable to inverse semigroup languages, that is, subsets of inverse semigroups, this paper explores the language theory of finite labeled birooted trees: Munn's birooted trees extended with vertex labeling. To this purpose, we define a notion of finite state birooted tree automata that simply extends finite state word automata semantics. This notion is shown to capture the class of languages that are definable in Monadic Second Order Logic and upward closed with respect to the natural order defined in the inverse monoid structure induced by labeled birooted trees. Then, we derive from these automata the notion of quasi-recognizable languages, that is, languages recognizable by means of (adequate) premorphisms into finite (adequately) ordered monoids. This notion is shown to capture finite Boolean combinations of languages as above. Applied to a simple encoding of finite (mono-rooted) labeled tree languages in of labeled birooted trees, we show that classical regular languages of finite (mono-rooted) trees are quasi-recognizable in the above sense. The notion of quasi-recognizability thus appears as an adequate remedy to the known collapse of the expressive power of classical algebraic tools when applied to inverse semigroups. Illustrative examples, in relation to other known algebraic or automata theoretic frameworks for defining languages of finite trees, are provided throughout.
Type de document :
Article dans une revue
Journal of Information and Computation, Elsevier, 2015, 243, pp.222 - 248. 〈http://www.sciencedirect.com/science/article/pii/S0890540114001680〉. 〈10.1016/j.ic.2014.12.016〉
Liste complète des métadonnées

Littérature citée [63 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00982538
Contributeur : David Janin <>
Soumis le : jeudi 24 avril 2014 - 09:28:58
Dernière modification le : mardi 29 mai 2018 - 09:14:04
Document(s) archivé(s) le : jeudi 24 juillet 2014 - 10:50:28

Fichier

RR1467-13-Extended.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

David Janin. On labeled birooted tree languages: algebras, automata and logic. Journal of Information and Computation, Elsevier, 2015, 243, pp.222 - 248. 〈http://www.sciencedirect.com/science/article/pii/S0890540114001680〉. 〈10.1016/j.ic.2014.12.016〉. 〈hal-00982538〉

Partager

Métriques

Consultations de la notice

414

Téléchargements de fichiers

205