Presentation
The theory of language is a fundamental part of computer science. In this module we shall look at certain ideas expressed in this theory(regular expressions, formal grammar, semantic processing…) followed by a direct application: the structuration of documents through the norm XML, defined by the consortium W3C.
A language is a collection of “words” defined by an “alphabet”. The regular expressions (which are found in every modern programming language) are a means to define a particular class of language, called regular languages.
Objectives
1) to understand the notions of automate, of formal language, of regular expression, of formal grammar…
2) to understand the functionning of technologies based on the XML norm and their link with the notions of the theory of languages
3) to use regular expressions in several contexts
4) to be able to conceive a DTD or a plan for a precise application
5) to understand the principle of semantic processing and its (compilation, transformation of documents)
6) to be able to develop a transformation of XML documents according to a charge-sheet
Duration:
21h
Organization
Scheduled activities
- C-LF1 (1h30) Langages formels, expressions régulières
- TP-LF1 (1h30) Expressions régulières
- C-LF2 (1h30) Automates d'états finis
- TP-LF2 (1h30) Automates d'états finis
- C-LF3 (1h30) Grammaires formelles
- PC-LF3 (1h30) Expressions régulières, automates, grammaires
- C3 (3h) Cours Logique 1
- C4 (3h) Cours Logique 2
- PC2 (1h30) Petite classe logique
- TP2 (1h30) TP Prolog
- TP3 (3h) TP JML
Team
|
