Tla ch00 introduction Théorie des langages et des automates Ramzi GUETARI Année Universitaire ISI I n s t i t u t Supérieur Informatique ? ? ? ? ?? ?? ? ? ISI I n s t i t u t Supérieur Informatique ? ? ? ? ?? ?? ? ? Préambule ? initiation à la théorie des

Théorie des langages et des automates Ramzi GUETARI Année Universitaire ISI I n s t i t u t Supérieur Informatique ? ? ? ? ?? ?? ? ? ISI I n s t i t u t Supérieur Informatique ? ? ? ? ?? ?? ? ? Préambule ? initiation à la théorie des langages formels ? les langues et les langages sont les supports de communication ? Les langues permettent aux hommes d'échanger entre eux des informations et des idées ? les langages leur permettent de communiquer avec les machines ? Les langues utilisées dans la vie de tous les jours entre êtres humains sont dites naturelles Elles sont généralement informelles et ambigües et demandent toute la subtilité d'un cerveau humain pour être interprétées correctement ? Les langages formels créés par l'homme pour communiquer avec les ordinateurs sont non ambigus pour pouvoir être interprétés par une machine Copyright ? Ramzi GUETARI ISI I n s t i t u t Supérieur Informatique ? ? ? ? ?? ?? ? ? CPréambule ? À la base un ordinateur ne comprend qu'un seul langage pour lequel il a été conçu son langage machine ? Pour communiquer avec des langages plus évolués il est nécessaire d'utiliser un interprète qui traduit interactivement les instructions entrées au clavier ou bien un compilateur qui traduit tout un programme Copyright ? Ramzi GUETARI ISI I n s t i t u t Supérieur Informatique ? ? ? ? ?? ?? ? ? Plan du cours ? Alphabet langages et grammaires ? Grammaires régulières et automates ?nis ? Grammaires hors-contexte et Automates à pile ISI I n s t i t u t Supérieur Informatique ? ? ? ? ?? ?? ? ? CMotivations ? Description et analyse de langages traitement du texte codes langages de programmation langages naturels ? Modèles de calcul conception d ? algorithmes ISI I n s t i t u t Supérieur Informatique ? ? ? ? ?? ?? ? ? Bibliographie ? J E Hopcroft J D Ullman Introduction to automata theory languages and computation Addison-Wesley ? M Sipser Introduction to the theory of computation PWS Publishing Company ? A Lingas R Karlsson S Carlsson Automata Languages and Programming Lecture Notes in Computer Science ?? th International Colluquium ICALP Springer-Verlag Ed Copyright ? Ramzi GUETARI ISI I n s t i t u t Supérieur Informatique ? ? ? ? ?? ?? ? ? C

  • 28
  • 0
  • 0
Afficher les détails des licences
Licence et utilisation
Gratuit pour un usage personnel Aucune attribution requise
Partager