Présente la notion de langage formel et trois manières de spécifier les langages : les décrire par des expressions, les reconnaître par des automates et les engendrer par des grammaires formelles. Le langage XML illustrera l’intérêt des descriptions formelles.
Langages et automates ; Expressions : Opérations sur les mots et les langages, Expressions régulières, Equivalence entre expressions régulières et langages d’automates : algorithmes ; Automates à pile, XML
Eléments de compétences
M.A. Harrison, Introduction to formal language theory, Addison Wesley, 1978
Jean-Michel Autebert, Théorie des langages et des automates (Français) Broché – 1 décembre 1997