Sommaire
cours / présentation, exercice
Théorie des langages
Ce cours vise à définir de façon rigoureuse ce que sont les langages, à trouver des moyens de les spécifier et des techniques pour reconnaître si un mot appartient à un langage, ainsi qu'éventuellement sa structure. Ces techniques sont utilisées dans les outils les plus courants du programmeur : com...
Date de création :
01.09.2011Auteur(s) :
François Yvon, Akim DemailleAccéder à la ressource :
Présentation
Informations pratiques
Langue du document : Français
Type : cours / présentation, exercice
Niveau : enseignement supérieur, licence
Langues : Français
Contenu : texte, image
Public(s) cible(s) : apprenant, enseignant
Document : Document PDF
Droits d'auteur : pas libre de droits, gratuit
Ressource libre d'accès, propriété conjointe des auteurs et de l'établissement d'appartenance.
Ressource libre d'accès, propriété conjointe des auteurs et de l'établissement d'appartenance.
Description de la ressource
Résumé
Ce cours vise à définir de façon rigoureuse ce que sont les langages, à trouver des moyens de les spécifier et des techniques pour reconnaître si un mot appartient à un langage, ainsi qu'éventuellement sa structure. Ces techniques sont utilisées dans les outils les plus courants du programmeur : compilateurs, interpréteurs, outils à format de donnée structuré.
- Granularité : cours
- Structure : linéaire
"Domaine(s)" et indice(s) Dewey
- Logique mathématique (symbolique), langages formels, théorie des automates, machine de Turing, réseaux de Pétri, décidabilité, … (511.3)
- Programmation et programmes de systèmes (005.4)
Domaine(s)
- Principes généraux
- Généralités, philosophie, théorie des mathématiques
- Mathématiques inductives déductives
- Informatique théorique
- Informatique
- Informatique
Intervenants, édition et diffusion
Intervenants
Validateur(s) de la métadonnée : Sylvain Duranton
Édition
- Épita
Diffusion
Cette ressource vous est proposée par :
Fiche technique
Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-5127
Identifiant OAI-PMH : oai:www.unit.eu:unit-ori-wf-1-5127
Version : Septembre 2011
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
Entrepôt d'origine : UNIT
Voir aussi
22.12.2010
Description
:
Présentation des automates, les expressions régulières et les scanners (transducteurs). Il explique comment créer automatiquement des scanners permettant de retrouver les unités lexicales dans un programme source. Il présente également des rudiments de Lex.
Thème 1 de l'ensemble "Compilation : ...
- compilation
- analyse lexicale
- programme informatique
- langage de programmation
- compilateur
- code source
- automate
- langage reconnaissable
- expression régulière
- LEX
22.12.2010
Description
:
Se basant sur des pré-requis en théorie des langages (grammaires et automates à pile), ce cours montre les aspects théoriques à partir desquels on peut créer automatiquement des parseurs de langages structurés. Il aborde les deux grandes familles de parseurs : LL et LR. Des rudiments de présentation ...
- compilation
- analyse syntaxique
- programme informatique
- langage de programmation
- compilateur
- code source
- parseur
- analyse de programme
- analyse descendante
- analyse ascendante
- expression régulière
- automate à pile
- modèle mathématique
- AntLR
- YACC