Bilimites de langages reconnaissables

Resume Tout langage reconnaissable infinitaire deterministe est limite d'un langage reconnaissable finitaire et reciproquement. Ce resultant classique s'etend aux langages de mots infinis bilateres. Ainsi, la famille des langages reconnaissables deterministes de mots infinis bilateres est identique a celle des bilimites des langages reconnaissables finitaires.