From dd3c48b81100ad9da65daae36ae186c8ff7dd1f7 Mon Sep 17 00:00:00 2001 From: xdrm-brackets Date: Fri, 27 Jan 2017 14:20:37 +0100 Subject: [PATCH] Rattrapage cours paradigmes + theorie --- README.md | 2 +- compile | 2 +- compiled/README.html | 2 +- paradigmesdeprogrammation/README.md | 11 +++ .../compiled/README.html | 23 ++++++ paradigmesdeprogrammation/cours/compile | 3 + .../cours/compiled/introduction.html | 78 +++++++++++++++++++ .../cours/introduction.md | 72 +++++++++++++++++ theoriedeslangagesetcompilation/README.md | 3 +- .../compiled/README.html | 3 +- theoriedeslangagesetcompilation/cours/1.md | 38 +++++++++ theoriedeslangagesetcompilation/cours/2.md | 13 ++++ .../cours/compiled/1.html | 36 +++++++++ .../cours/compiled/2.html | 26 +++++++ 14 files changed, 307 insertions(+), 5 deletions(-) create mode 100644 paradigmesdeprogrammation/README.md create mode 100644 paradigmesdeprogrammation/compiled/README.html create mode 100755 paradigmesdeprogrammation/cours/compile create mode 100644 paradigmesdeprogrammation/cours/compiled/introduction.html create mode 100644 paradigmesdeprogrammation/cours/introduction.md create mode 100644 theoriedeslangagesetcompilation/cours/2.md create mode 100644 theoriedeslangagesetcompilation/cours/compiled/2.html diff --git a/README.md b/README.md index 759b633..675cd8f 100644 --- a/README.md +++ b/README.md @@ -5,7 +5,7 @@ Cours de Licence3 Semestre 2 ##### Liste des cours - [Systèmes d'exploitation](../systemesdexploitation/compiled/README.html) - [Conception de systèmes d'information](../conceptiondesystemesdinformation/compiled/README.html) -- Paradigmes de programmation +- [Paradigmes de programmation](../paradigmesdeprogrammation/compiled/README.html) - [Théorie des langages et compilation](../theoriedeslangagesetcompilation/compiled/README.html) - [Systèmes distribués](../systemesdistribues/compiled/README.html) - Anglais diff --git a/compile b/compile index a7959af..f57cf0d 100755 --- a/compile +++ b/compile @@ -1,3 +1,3 @@ #!/bin/sh -pandoc -f markdown -t html5 --css ../../../dependencies/pandoc.css $1.md -o compiled/$1.html +pandoc -f markdown -t html5 --css ../dependencies/pandoc.css $1.md -o compiled/$1.html diff --git a/compiled/README.html b/compiled/README.html index ae82b27..9616de4 100644 --- a/compiled/README.html +++ b/compiled/README.html @@ -17,7 +17,7 @@

Opérations sur les langages

+

Soit L et M, deux langages, et l'alphabet Σ = a, b.

+ +

Exercice:

+ +
Distribution:
+ +
Structure monoide:
+
+

Ensemble muni d'une opération interne associative et d'un élément neutre.

+

exemple: Σ muni de concaténation

+
+
+

L+ est la fermeture positive de L = L* − {ϵ}

+
+
Classification des langages:
+ +
+

Type 3 ⊂  Type 2  ⊂  Type 1  ⊂  Type0

+
diff --git a/theoriedeslangagesetcompilation/cours/compiled/2.html b/theoriedeslangagesetcompilation/cours/compiled/2.html new file mode 100644 index 0000000..ee102aa --- /dev/null +++ b/theoriedeslangagesetcompilation/cours/compiled/2.html @@ -0,0 +1,26 @@ + + + + + + + + + + + + +

Chapitre II - Grammaire

+

Définitions

+

Grammaire

+
+

Ensemble de règles permettant de générer des mots du langage sous forme de réécriture (on remplace une séquence par une autre).

+
+

Mots générés

+
+

Mots obtenus à partir d'un symbole spécial appelé symbole de départ ou axiome.

+
+ +