Aperçu des sections
- Généralités
Généralités
L’objectif de ce cours est une initiation à la théorie des langages formels.
Les langages permettent aux humains d’échanger des informations et des idées et de communiquer avec les machines.
Les langages utilisés entre les humains sont appelés ‘langages naturels’, ils sont généralement informels et ambigus et demandent une interprétation par un cerveau humain pour être interprétés correctement.
Les langages créés par l’homme pour communiquer avec la machine sont les langages formels ou artificiels. Ils doivent être formalisés et non ambigus pour pouvoir être interprétés par une machine, c’est le but de module.
- Introduction à la logique formelle
Introduction à la logique formelle
L'objectif de ce chapitre est de présenter aux étudiants les notions de base de la logique formelle qui sera utilisée dans la définition formelle des langages de programmation.
- Introduction aux langages
Introduction aux langages
L'objectif de chapitre est d'introduire la définition des formelle des langages,
- Les types de grammaires
Les types de grammaires
L'objectif est de présenter les types de grammaires suivant la classification de Chomsky
- Les langages réguliers
Les langages réguliers
- Ce chapitre est consacré aux langages réguliers qui sera très utilisé dans la première phase de compilation,
On détaille les 3 systèmes ( grammaire régulière, automate d'états finis et expression régulière) et le passage entre ces systèmes.
- TD et TP
- Les langages algébriques( type 2)
Les langages algébriques( type 2)
Ce chapitre est consacré aux la gages algébriques:
- Transformation des grammaires algébriques
- Forme normale de Chomsky
- Forme normale de Greibach
- Automates à pile
- Passage automates à pile grammaires
- Cours en Vidéos