The Regular Languages of Wire Linear AC 0 - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2021

The Regular Languages of Wire Linear AC 0

Michaël Cadilhac
  • Fonction : Auteur
  • PersonId : 1119330
Charles Paperman
  • Fonction : Auteur
  • PersonId : 1119331

Résumé

In this paper, the regular languages of wire linear AC 0 are characterized as the languages expressible in the two-variable fragment of first-order logic with regular predicates, FO 2 [reg]. Additionally, they are characterized as the languages recognized by the algebraic class QLDA. The class is shown to be decidable and examples of languages in and outside of it are presented.
Fichier principal
Vignette du fichier
main.pdf (682.46 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03466451 , version 1 (05-12-2021)
hal-03466451 , version 2 (08-12-2021)

Identifiants

  • HAL Id : hal-03466451 , version 1

Citer

Michaël Cadilhac, Charles Paperman. The Regular Languages of Wire Linear AC 0. 2021. ⟨hal-03466451v1⟩
124 Consultations
132 Téléchargements

Partager

More