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:
18h
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, compilation
- PC-LF1 (1h30) Expressions régulières, automates d'états finis, grammaires formelles
- C-LOG1 (1h30) Logique propositionnelle
- PC-LOG1 (1h30) Logique propositionnelle
- C-LOG2 (1h30) Logique du premier ordre
- PC-LOG2 (1h30) Logique du premier ordre
- EVAL (1h) Évaluation en logique de 30 minutes (et non pas une heure !)
- C-LOG3 (1h) Sémantique et vérification des langages de programmation
- PC-LOG3 (1h30) Sémantique et vérification des langages de programmation
Team
|