Texte intégral
IFT 2105 Et´e 2006
Devoir pour le 8 mai avril 2006 Pour un entier positifn, on d´efinit le langage:
Cn={< n >|nest un multiple de n}, o`u< n > est l’encodage binaire de n.
Montrez que pour tout entier positifn, le langageCn est r´egulier.
(Essayez avecn= 2,3,4, ...puis g´en´eralisez votre raisonnement.)
Le devoir est a remettre avant la troisi `me minute de la d ´monstration du mardi 8 mai, nous en ferons alors la correction.
1
Documents relatifs
Ainsi, si nous effectuons une simulation en supposant qu’il y a équiprobabilité des retraits journaliers et si nous calculons la quantité 1000 d obs 2 , il y aura une probabilité
[r]
A partir de D construire l’automate minimum M ´ equivalent, en utilisant la m´ ethode implicite dans le th´ eor` eme vu en classe et pr´ ecis´ ee en TP2. Trouver l’expression
Mais nous n’avons pas d´ efini les automates a pile et, a fortiori, nous n’avons pas prouv´ e l’´ equivalence.. Il faut donc prouver le r´ esultat – qui
Utiliser la théorie des écarts complémentaires pour déterminer une solution optimale de ce problème à partir d’une solution optimale de primal qui lui
Soit le problème. c) Déterminer l’intervalle de variation [τ 1 ,τ 2 ] du terme de droite de la seconde contrainte pour que la solution actuelle demeure réalisable et optimale. d)
La quantité v de flot à acheminer de s à t est égale à 13, et la valeur du flot dans les arcs pour la solution de base réalisable initiale est indiquée sur la figure.
Le fragment FO 2 de la logique du premier ordre est l’ensemble des formules sans variable libre, sur un ensemble fini de symboles de fonction d’arit´e 0, un ensemble fini de symboles
