URI http://ori.unit-c.fr/uid/unit-ori-wf-1-5127 Théorie des langages fre 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é. théorie des langages langage formel compilation langage de programmation automate fini grammaire syntagmatique analyseur calculabilité LOMv1.0 linear LOMv1.0 3 LOMv1.0 texte LOMv1.0 image Septembre 2011 LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:Yvon;François FN:François Yvon EMAIL;TYPE=INTERNET:yvon@enst.fr ORG:Télécom ParisTech END:VCARD 2011-09-01 LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:Demaille;Akim FN:Akim Demaille EMAIL;TYPE=INTERNET:akim@lrde.epita.fr ORG:Épita END:VCARD 2011-09-01 LOMv1.0 publisher BEGIN:VCARD N:Épita FN:Épita EMAIL;TYPE=INTERNET: ORG:École pour l’informatique et les techniques avancées END:VCARD 2011-09-01 URI http://ori.unit-c.fr/uid/unit-ori-wf-1-5128 LOMv1.0 validator BEGIN:VCARD N:Duranton;Sylvain FN:Sylvain Duranton EMAIL;TYPE=INTERNET:sylvain.duranton@unit.eu ORG:UNIT END:VCARD 2011-09-21 LOMv1.0 LOMFRv1.0 SupLOMFRv1.0 fre application/pdf http://www.lrde.epita.fr/~akim/thl/lecture-notes/theorie-des-langages-1.pdf LOMv1.0 lecture LOMv1.0 exercise LOMv1.0 learner LOMv1.0 teacher LOMv1.0 higher education LOMFRv1.0 licence fre LOMv1.0 no LOMv1.0 yes Ressource libre d'accès, propriété conjointe des auteurs et de l'établissement d'appartenance. LOMv1.0 discipline Classification UNIT Mathématiques inductives déductives CDD 22e éd. 511.3 Logique mathématique (symbolique), langages formels, théorie des automates, machine de Turing, réseaux de Pétri, décidabilité, … Classification UNIT 1320 Informatique théorique CDD 22e éd. 005.4 Programmation et programmes de systèmes