Au carrefour de la linguistique descriptive, de la linguistique formelle, du Traitement Automatique des Langues (TAL), de l'informatique formelle et de l'algorithmique de textes, cet ouvrage présente un projet complet de description formalisée des langues naturelles via l'approche de NooJ.

Il analyse la représentation des objets linguistiques de base (lettres, mots et expressions), puis caractérise les dictionnaires électroniques, les différenciant ainsi des dictionnaires éditoriaux. Une définition mathématique des langages, des grammaires et des machines formelles est donnée, et les quatre niveaux de la hiérarchie de Chomsky sont présentés (langages rationnels, algébriques, contextuels et non restreints). Afin d'effectuer des analyses lexicales, syntaxiques et sémantiques automatiques, l'ouvrage détaille également la construction d'analyseurs linguistiques automatiques et en étudie les applications en TAL.

S'appuyant sur les différents outils fournis par la plateforme de développement gratuite Nooj, La formalisation des langues propose des exemples et des exercices qui permettent de recenser et de décrire le plus grand nombre de phénomènes linguistiques.