How to Prove that a Language Is Regular or Star-Free? - Archive ouverte HAL
Chapitre D'ouvrage Année : 2020

How to Prove that a Language Is Regular or Star-Free?

Jean-Eric Pin
Institut de Recherche en Informatique Fondamentale

Résumé

This survey article presents some standard and less standard methods used to prove that a language is regular or star-free.

Domaines

Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
LATA2020Web.pdf (340.14 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Jean-Eric Pin  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02949627

Soumis le : vendredi 25 septembre 2020-18:08:07

Dernière modification le : vendredi 17 mai 2024-16:10:02

Archivage à long terme le : jeudi 3 décembre 2020-18:16:43

Télécharger pour visualiser

Dates et versions

hal-02949627 , version 1 (25-09-2020)

Identifiants

Citer

Jean-Eric Pin. How to Prove that a Language Is Regular or Star-Free?. Proceedings LATA 2020, Lecture Notes in Computer Science 12038 (2020), pp.68-88, 2020, ⟨10.1007/978-3-030-40608-0_5⟩. ⟨hal-02949627⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UP-SCIENCES ANR IRIF
50 Consultations
1202 Téléchargements

Altmetric

Partager

More