Correction examen Automates — 2011 - 2012 —

Si il y a un prochain bond pour cette FEC et si il y a un bloc de contrôle aval pour cette FEC dont l’état est 'ÉTABLI', créer un nouveau bloc de contrôle amont et

Montrer que toute partie non vide admet un plus petit

[r]

Lorsque q > 2, on pourra commencer par supposer que 2 est un carré modulo q, puis que 3 est un carré

Lorsque q > 2, on pourra commencer par supposer que 2 est un carré modulo q, puis que 3 est un carré

[r]

D'après le théorème : si deux triangles ont un angle égal compris entre deux côtés égaux deux à deux, alors ces deux triangles sont isométriques.. Donc les triangles ABC

Donnez un automate non-déterministe sur Σ ={0, 1, 2, 3, 4, 5, 6, 7, 8, 9} qui accepte les mots dont le dernier chiffre soit un chiffre qui ait déjà apparu...