1 Théorie des langages et des Théorie des langages et des automates automates a

1 Théorie des langages et des Théorie des langages et des automates automates automates automates Ramzi Ramzi GUETARI GUETARI Année Universitaire 2010 / 2011 ISI I n s t i t u t S u p é r i e u r 12/09/2010 1 المعھد العالي لإلعالميّةISI S u p é r i e u r Informatique المعھد العالي لإلعالميّةISI I n s t i t u t S u p é r i e u r Informatique Préambule  initiation à la théorie des langages formels.  les langues et les langages sont les supports de communication  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 المعھد العالي لإلعالميّةISI I n s t i t u t S u p é r i e u r Informatique 12/09/2010 Copyright © Ramzi GUETARI 2 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. 2 Préambule  À la base, un ordinateur ne comprend qu'un seul langage, pour lequel il a été conçu: son langage machine 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). المعھد العالي لإلعالميّةISI I n s t i t u t S u p é r i e u r Informatique 12/09/2010 Copyright © Ramzi GUETARI 3 Plan du cours  Alphabet, langages et grammaires.  Grammaires régulières et automates finis  Grammaires régulières et automates finis.  Grammaires hors-contexte et Automates à pile. المعھد العالي لإلعالميّةISI I n s t i t u t S u p é r i e u r Informatique 3 Motivations  Description et analyse de langages (traitement du texte, codes, langages de programmation langages naturels ) langages de programmation, langages naturels, . . . )  Modèles de calcul, conception d’algorithmes. المعھد العالي لإلعالميّةISI I n s t i t u t S u p é r i e u r Informatique  J.E. Hopcroft, J.D. Ullman. Introduction to automata theory, languages and computation Addison-Wesley 1979 Bibliographie languages and computation. Addison Wesley, 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 I n s t i t u t S u p é r i e u r Informatique 12/09/2010 Copyright © Ramzi GUETARI 6 uploads/Science et Technologie/ tla-ch00-introduction.pdf

Tags
Science et Technologielangages automates المعھد العالي لإلعالميّةisi
Documents similaires
  • 12
  • 0
  • 0
Afficher les détails des licences
Licence et utilisation
Gratuit pour un usage personnel Attribution requise
Partager