Cet ouvrage présente un ensemble complet d'outils

permettant de travailler en linguistique formelle, syntaxe,

sémantique et pragmatique. Il ne nécessite pas de

connaissances pointues en mathématiques ou en

linguistique. Il donne tous les éléments pour concevoir des

analyseurs syntactico-sémantiques. Après un rappel des

notions de base en théorie des ensembles, sont abordées les

grammaires formelles, les logiques des propositions et des

prédicats puis le lambda calcul.

Introduction à la linguistique formelle montre au fur et à

mesure comment articuler le tout pour faire des analyses

linguistiques. La présentation des notions théoriques est

systématiquement accompagnée d'exercices corrigés et

d'exemples d'application à l'étude du français. Enfin,

l'exposé est complété par des études de cas en japonais,

facilement compréhensibles pour un public non spécialisé.