Thm de Presburger : Différence entre versions

Version actuelle en date du 21 octobre 2011 à 18:20

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.

Version du 21 octobre 2011 à 18:19 (voir la source) Ibann100 (discuter \| contributions) (Page créée avec « Fichier TeX de la démo du Théorème de Presburger Fichier Pdf de la démo du Théorème de Presburger # Référence... »)		Version actuelle en date du 21 octobre 2011 à 18:20 (voir la source) Ibann100 (discuter \| contributions)
Ligne 1 :		Ligne 1 :
	[[Média:Presburger.tex \| Fichier TeX de la démo du Théorème de Presburger]]		[[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]]		[[Média:Presburger.pdf \| Fichier Pdf de la démo du Théorème de Presburger]]