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
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.



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...