diff options
| author | David A. Madore <david+git@madore.org> | 2017-11-05 23:11:09 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2017-11-05 23:11:09 +0100 |
| commit | 997399facd605bdf6437644ce73824d8e065a130 (patch) | |
| tree | e99499c4a0815703fe2361dacd53ab492db47162 | |
| parent | e49fdab3899958eb11665b661d96e40bc3b1a8f4 (diff) | |
| download | inf105-997399facd605bdf6437644ce73824d8e065a130.tar.gz inf105-997399facd605bdf6437644ce73824d8e065a130.tar.bz2 inf105-997399facd605bdf6437644ce73824d8e065a130.zip | |
Small changes in wording of curriculum.
| -rw-r--r-- | programme-inf105.tex | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/programme-inf105.tex b/programme-inf105.tex index b0291de..e4ab97a 100644 --- a/programme-inf105.tex +++ b/programme-inf105.tex @@ -124,14 +124,17 @@ algébrique (admis sans démonstration). Lemme de pompage pour les langages algébriques (admis sans démonstration, mais on peut esquisser l'idée). -(Selon le temps disponible.) L'appartenance d'un mot au langage -défini par une grammaire hors contexte est algorithmiquement -décidable\footnote{Par ex., en montrant qu'on peut trouver une - grammaire monotone équivalente ; ou bien esquisser comment on peut - mettre la grammaire sous forme normale de Chomsky et utiliser - l'algorithme de programmation dynamique (CYK) ?}. Quelques notions -sur l'analyse syntaxique en pratique : notion d'analyseurs descendants -et ascendants (sans entrer dans les détails). +L'appartenance d'un mot au langage défini par une grammaire hors +contexte est algorithmiquement décidable (l'énoncer et éventuellement +expliquer une approche possible\footnote{Par ex., en montrant qu'on + peut trouver une grammaire monotone équivalente ; ou bien esquisser + comment on peut mettre la grammaire sous forme normale de Chomsky et + utiliser l'algorithme de programmation dynamique (CYK) ?} si le +temps le permet). + +Selon le temps disponible : quelques notions sur l'analyse syntaxique +en pratique : notion d'analyseurs descendants et ascendants (sans +entrer dans les détails). \thingy TD sur les grammaires hors contexte et langages algébriques. |