Université Bordeaux I
Licence Informatique TD OMI 2001
Feuille d'exercices 1
Corrigé de l'exercice 9
Le langage reconnu par l'automate est:
{w=(101)n | n ³ 0 }.
Or (101)2=(5)10 et donc si l'on pose:
n(w)= l'entier dont le développement
binaire est w,
on a:
n(w)= 5*(8n-1+8n-2+...+80)=5*Sommei=0n-1(8i)
.
This document was translated from LATEX by
HEVEA.