A Kleene theorem for nominal automata - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2019

A Kleene theorem for nominal automata

Paul Brunet
Alexandra Silva
  • Fonction : Auteur
  • PersonId : 895513

Résumé

Nominal automata are a widely studied class of automata designed to recognise languages over infinite alphabets. In this paper, we present a Kleene theorem for nominal automata by providing a syntax to denote regular nominal languages. We use regular expressions with explicit binders for creation and destruction of names and pinpoint an exact property of these expressions-namely memory-finiteness-identifying a subclass of expressions denoting exactly regular nominal languages.
Fichier principal
Vignette du fichier
main.pdf (645.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02112892 , version 1 (27-04-2019)

Identifiants

  • HAL Id : hal-02112892 , version 1

Citer

Paul Brunet, Alexandra Silva. A Kleene theorem for nominal automata. 2019. ⟨hal-02112892⟩
139 Consultations
137 Téléchargements

Partager

Gmail Facebook X LinkedIn More