Vue d'ensemble
Mathématiques et Statistiques (Sci) : Calculability on an infinite abacus is compared with recursive functions and Turing machines. Categorial, context-free, generative and transformational grammars are studied for formal and natural languages, with some emphasis on English and French morphology. Machines for generating and recognizing sentences are discussed.
Trimestres : Ce cours n’est pas au programme de l’année universitaire 2011-2012.
Chargés de cours : Aucun professeur n’est associé à ce cours pour l’année universitaire 2011-2012.