Centre Universitaire Bordj Bou Arreridj Institut de technologie département d’Informatique

Théorie des Langages
A. Mehemmel

2007-2008

Préface
Ce fascicule est un recueil des notes du cours “Théorie des langages formels” présenté aux étudiants d’ingénieur en Informatique du centre universitaire de Bordj Bou Arreridj et qui vise à améliorer leurs conditions de travail. La théorie des langages formels constitue l'un des fondements de la science informatique. Elle est par conséquent enseignée dans la plupart des cursus de la discipline. Ce cours permet d’établir la relation entre les mathématiques et les langages. Il met à la disposition de l’étudiant les connaissances nécessaires pour aborder la compilation. Ce recueil est un support auxiliaire, il ne peut en aucun cas remplacer les enseignements ou les ouvrages de référence. Sa lecture ne devra pas remplacer la présence (active, attentive et intéressée!) aux cours et aux TD, la recherche bibliographique et la lecture des autres textes dans ce domaine restent les meilleurs moyens pour approfondir vos connaissances. Votre enseignant peut répondre à vos questions si nécessaire! Ce document comporte sûrement des imprécisions ou même des erreurs éventuelles qui restent à éliminer. Aidez moi à l’améliorer.

Mehemmel Abbas Chargé de cours Centre universitaire de Bordj Bou Arreridj

Introduction
L'objet de ce cours est une initiation à la théorie des langages formels. De manière générale, 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. Un langage de programmation est le moyen privilégié dont dispose le programmeur pour communiquer ses algorithmes à l'ordinateur. L'idéal serait évidemment la situation où cette communication pourrait se faire à l'aide d'un langage naturel. Malheureusement, même aujourd’hui cette tentative n’a pas complètement