Définissabilité et synthèse de transductions
Dans la première partie de ce manuscrit nous étudions les fonctions rationnelles, c'est-à-dire définies par des transducteurs unidirectionnels. Notre objectif est d'étendre aux transductions les nombreuses correspondances logique-algèbre qui ont été établies concernant les langages, notamm...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2018
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2018BORD0185/document |