A negative answer to a question of Wilke

Jean-Éric Pin



Résumé : Dans un récent article, Wilke posait la question de savoir si l'algèbre de Boole engendrée par les ω-langages de la forme lim L, où L appartient à une +-variété de langages donnée, formait la composante infinitaire d'une variété de langages de mots finis ou infinis. Nous donnons ici une réponse négative à cette question.

Abstract : In a recent paper, Wilke asked whether the boolean combinations of ω-languages of the form lim L, for L in a given +-variety of languages, form the ω-part of an infinity-variety. We provide a negative answer to this question.

PostScript file compressed with gzip, PDF file


Valid HTML 4.01!