Data Monoids - Archive ouverte HAL
Communication Dans Un Congrès Année : 2011

Data Monoids

M. Bojanczyk (1)
M. Bojanczyk
  • Fonction : Auteur
Institute of Computer Science

Résumé

We develop an algebraic theory for languages of data words. We prove that, under certain conditions, a language of data words is definable in first-order logic if and only if its syntactic monoid is aperiodic.

Domaines

Complexité [cs.CC] Algorithme et structure de données [cs.DS]
Fichier principal
Vignette du fichier
13.pdf (207.56 Ko) Télécharger le fichier
Origine Accord explicite pour ce dépôt

Christoph Dürr  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00573630

Soumis le : samedi 5 mars 2011-23:08:32

Dernière modification le : vendredi 11 août 2023-14:26:04

Archivage à long terme le : mardi 6 novembre 2012-15:27:29

Télécharger pour visualiser

Dates et versions

hal-00573630 , version 1 (05-03-2011)

Identifiants

  • HAL Id : hal-00573630 , version 1

Citer

M. Bojanczyk. Data Monoids. Symposium on Theoretical Aspects of Computer Science (STACS2011), Mar 2011, Dortmund, Germany. pp.105-116. ⟨hal-00573630⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

STACS2011
47 Consultations
185 Téléchargements

Partager

More