Ressource pédagogique : 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...
cours / présentation, exercice - Date de création : 01-09-2011
Partagez !

Présentation de: Théorie des langages

Informations pratiques sur cette ressource

Français
Type pédagogique : cours / présentation, exercice
Niveau : enseignement supérieur, licence
Langue de l'apprenant : Français
Contenu : texte, image
Public(s) cible(s) : apprenant, enseignant
Document : Document PDF
Droits : pas libre de droits, gratuit
Ressource libre d'accès, propriété conjointe des auteurs et de l'établissement d'appartenance.

Description de la ressource pédagogique

Description (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)

Thème(s)

Intervenants, édition et diffusion

Intervenants

Validateur(s) de la métadonnée : Sylvain Duranton

Editeur(s)

Diffusion

Partagez !

AUTEUR(S)

  • François Yvon
    Télécom ParisTech
  • Akim Demaille
    Épita

ÉDITION

Épita

EN SAVOIR PLUS

  • Identifiant de la fiche
    http://ori.unit-c.fr/uid/unit-ori-wf-1-5127
  • Identifiant
    unit-ori-wf-1-5127
  • Version
    Septembre 2011
  • Schéma de la métadonnée
  • Entrepôt d'origine
    UNIT
  • Date de publication
    01-09-2011