el llibre presenta lestat de la qüestió sobre el tema del tractament del llenguatge natural utilitzant formalismes lògics. el tema es presenta des duna doble vessant: -els diferents formalismes que sutilitzen i el seu grau dexpressivitat per descriure tant el coneixement lingüístic i lèxic que el tractament dels llenguatge natural implica, com la informació necessària per dur a terme aquest tractament.- els diferents tipus danalitzadors que són necessaris per tractar els diferents formalismes i les característiques específiques que han de tenir. el llibre fa èmfasi en dos dels formalismes més estesos: les gramàtiques de clàusules definides i les gramàtiques de trets.