Voir la source de Arithmétique de Presburger


* Arithmétique de Presburger ([[Fichier:Tex.png|alt=Tex|link={{filepath:Presburger.tex}}|24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath:Presburger.pdf}} |24px]])


[[Média:Presburger.tex | Fichier TeX de la démo du Théorème de Presburger]]

[[Média:Presburger.pdf | Fichier Pdf de la démo du Théorème de Presburger]]

# Référence : [Carton]

# Remarque : 
#* bien comprendre les mots de <math> \Sigma_k^* </math> et la bijection entre k-uplet d'entier et ces mots de <math> \Sigma_k^* </math>
#* bien comprendre l'automate de <math> x_i+x_j=x_l </math> et donner un exemple est pédagogiquement bon.