Formal language theory 1 - 3MMTL1

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail

Number of hours
- Lectures : 16.5
- Tutorials : 16.5
ECTS : 3.0

Goals

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 second and third year at the Ensimag.

Contact Mnacho ECHENIM

Content

Introduction to formal language theory
Regular languages: finite state automata, algorithms on automata, closure properties for regular languages
Handling formal grammars: Chomsky hierarchy, derivation trees, ambiguity, proofs on grammars

Prerequisites

None

Tests

Two written exams of 2 hours each.
<br>

N1=E1
N2=E2

Additional Information

Course list

Curriculum->Core curriculum->Semester 5

Team->Theoretical computer science

Team->Search Algorithms-Programming-set operating

Bibliography

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

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail

Date of update January 15, 2017

Version française

Voir la version française de cette page

Formal language theory 1 - 3MMTL1

Number of hours

Goals

Version française