Vous êtes sur la page 1sur 3

Thorie des langages et des

automates

Ramzi GUETARI
Anne Universitaire 2010 / 2011

ISI
Institut
Suprieur
Informatique

ISI
Institut
Suprieur
12/09/2010 Informatique 1

Prambule

initiation la thorie des langages formels.


les langues et les langages sont les supports de communication.
communication
Les langues permettent aux hommes d'changer entre eux des
informations et des ides.
les langages leur permettent de communiquer avec les machines.
Les langues utilises dans la vie de tous les jours entre tres
humains sont dites naturelles. Elles sont gnralement informelles
et ambiges et demandent toute la subtilit d'un cerveau humain
pour tre interprtes correctement.
correctement
Les langages formels crs par l'homme pour communiquer avec
les ordinateurs sont non ambigus pour pouvoir tre interprts par
une machine.

ISI
Institut
Suprieur
12/09/2010 Informatique 2

Copyright Ramzi GUETARI

1
Prambule

la base, un ordinateur ne comprend qu'un seul langage, pour


lequel il a t conu: son langage machine.
machine
Pour communiquer avec des langages plus volus, il est
ncessaire d'utiliser un interprte (qui traduit interactivement les
instructions entres au clavier), ou bien un compilateur (qui traduit
tout un programme).

ISI
Institut
Suprieur
12/09/2010 Informatique 3

Copyright Ramzi GUETARI

Plan du cours

Alphabet, langages et grammaires.


Grammaires rgulires et automates finis.
finis
Grammaires hors-contexte et Automates pile.

ISI
Institut
Suprieur
Informatique

2
Motivations

Description et analyse de langages (traitement du texte, codes,


langages de programmation,
programmation langages naturels,
naturels . . . )
Modles de calcul, conception dalgorithmes.

ISI
Institut
Suprieur
Informatique

Bibliographie

J.E. Hopcroft, J.D. Ullman. Introduction to automata theory,


languages and computation.
computation Addison
Addison-Wesley
Wesley, 1979.
1979
M. Sipser. Introduction to the theory of computation. PWS
Publishing Company, 1996.
A. Lingas, R. Karlsson, S. Carlsson. Automata, Languages and
Programming. Lecture Notes in Computer Science 20th
International Colluquium ICALP93. Springer-Verlag Ed.

ISI
Institut
Suprieur
12/09/2010 Informatique 6

Copyright Ramzi GUETARI