Walking automata in free inverse monoids

David Janin 1, 2
1 PoSET - Models for a Structured Programming of Space and Time
LaBRI - Laboratoire Bordelais de Recherche en Informatique, SCRIME - Studio de Création et de Recherche en Informatique et Musique Électroacoustique, Inria Bordeaux - Sud-Ouest
Abstract : Walking automata, be they running over words, trees or even graphs, possibly extended with pebbles that can be dropped and lifted on vertices, have long been defined and studied in Computer Science. However, questions concerning walking automata are surprisingly complex to solve. In this paper, we study a generic notion of walking automata over graphs whose semantics naturally lays within inverse semigroup theory. Then, from the simplest notion of walking automata on birooted trees, that is, elements of free inverse monoids, to the more general cases of walking automata on birooted finite subgraphs of Cayley's graphs of groups, that is, elements of free E-unitary inverse monoids, we provide a robust algebraic framework in which various classes of recognizable or regular languages of birooted graphs can uniformly be defined and related one with the other.
Type de document :
Communication dans un congrès
42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2016, Harrachov, Czech Republic. 2016
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00738793
Contributeur : David Janin <>
Soumis le : samedi 3 octobre 2015 - 13:31:22
Dernière modification le : mardi 29 mai 2018 - 09:14:04
Document(s) archivé(s) le : lundi 4 janvier 2016 - 10:12:46

Fichier

ToAppearInSOFSEM.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00738793, version 4

Citation

David Janin. Walking automata in free inverse monoids. 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2016, Harrachov, Czech Republic. 2016. 〈hal-00738793v4〉

Partager

Métriques

Consultations de la notice

212

Téléchargements de fichiers

129