SMF

Une application du jeu de Ehrenfeucht-Fraissé en théorie des langages formels

An application of the Ehrenfeucht-Fraissé game in formal language theory

W. THOMAS
Mémoires de la Société mathématique de France | 1984
Une application du jeu de Ehrenfeucht-Fraissé en théorie des langages formels
  • Année : 1984
  • Tome : 16
  • Format : Électronique
  • Langue de l'ouvrage :
    Anglais

Une nouvelle version du jeu de Ehrenfeucht-Fraissé est appliquée pour obtenir une nouvelle preuve d'un théorème dans la théorie des langages formels : On montre que la hiérarchie de concaténation (“dot-depth hierarchy”) des langages sans étoile est stricte.

A version of the Ehrenfeucht-Fraissé game is used to obtain a new proof of a hierarchy result in formal language theory : it is shown that the concatenation hierarchy (“dot-depth hierarchy”) of star-free languages is strict.

OPEN ACCESS
OPEN ACCESS

Téléchargement Download
Faire un donMake a donation
Devenir adhérentGet a membership
Voir l'ouvrage complet / Download entire document
Des problèmes avec le téléchargement?Des problèmes avec le téléchargement?
Informez-nous de tout problème que vous avez...
contactez-nous
Retour
Haut de page