Thm de Presburger

Fichier TeX de la démo du Théorème de Presburger Fichier Pdf de la démo du Théorème de Presburger

1. Référence : [Carton]

1. Remarque :
   • bien comprendre les mots de $\Sigma _{k}^{*}$ et la bijection entre k-uplet d'entier et ces mots de $\Sigma _{k}^{*}$
   • bien comprendre l'automate de $x_{i}+x_{j}=x_{l}$ et donner un exemple est pédagogiquement bon.