How to prove that a language is regular or star-free?

Jean-Éric Pin



Résumé : Cet article de synthèse présente quelques méthodes standard et moins standard utilisées pour prouver qu'un langage est régulier ou sans étoile.


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

PDF file

Valid HTML 4.01!