The formal language theory course develops mathematical concepts and techniques that are foundational to computer science. This course introduces the fundamental definitions and methods associated with artificial languages, typically programming languages. It is a prerequisite to most of the computer science courses that are given during the following semesters at Ensimag.
On written exam of 2 hours
The course exists in the following branches:
Course ID : 3MMTL1
The course is attached to the following structures:
You can find this course among all other courses.
P. Berlioux, M. Echenim, M. Lévy : Théorie des langages, polycopié Ensimag
J.E. Hopcroft, R. Motwani, J.D. Ullman : Introduction to Automata Theory, Languages, and Computation, 3/E, Addison-Wesley, 2006
Date of update January 15, 2017