Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Introduction d'un procédé de saturation dans les grammaires d'états-finis. Une définition générale est d'abord proposée, puis des restrictions sont formulées en sorte que la classe des langages décrits reste celle des langages d'états-finis. On présente ensuite l'automate séquentiel associé à ce type de grammaire.
