Transductions des langages de Chomsky

Abstract

La feuille des applications dites K -transductions, et qu’il serait légitime d’appeler applications rationnelles, d’un monoïde libre dans un autre monoïde est étudiée de façon systématique. L’intérêt de ces applications vient de ce qu’elles transportent partie algébrique (ou C -langages) sur partie algébrique, partie rationnelle (ou K -langage) sur partie rationnelle. On étudie sous le nom de langage compilable les parties algébriques qu’une K -transduction univoque applique dans un ensemble de Dyck (noyau d’un homomorphisme dans un groupe libre). On introduit la structure associative nouvelle de produit sélectif, aussitôt utilisée à la démonstration de l’équivalence de divers automates.