Au carrefour de la linguistique descriptive, de la linguistique formelle, du Traitement automatique des langues, de l’informatique formelle et de l’algorithmique de textes, cet ouvrage presente un projet complet de description formalisee des langues naturelles via l’approche de Noo J.Il analyse la representation des objets linguistiques de base (lettres, mots et expressions), puis caracterise les dictionnaires electroniques, les differenciant ainsi des dictionnaires editoriaux. Une definition mathematique des langages, des grammaires et des machines formelles est donnee, et les quatre niveaux de la hierarchie de Chomsky sont presentes (langages rationnels, algebriques, contextuels et non restreints). Afin d’effectuer des analyses lexicales, syntaxiques et semantiques automatiques, l’ouvrage detaille egalement la construction d’analyseurs linguistiques automatiques et en etudie les applications en TAL.S’appuyant sur les differents outils fournis par la plateforme de developpement gratuite Nooj, La formalisation des langues propose des exemples et des exercices qui permettent de recenser et de decrire le plus grand nombre de phenomenes linguistiques.