Introduction à la linguistique formelle

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. Ce livre 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é.