summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-11-05 23:11:09 +0100
committerDavid A. Madore <david+git@madore.org>2017-11-05 23:11:09 +0100
commit997399facd605bdf6437644ce73824d8e065a130 (patch)
treee99499c4a0815703fe2361dacd53ab492db47162
parente49fdab3899958eb11665b661d96e40bc3b1a8f4 (diff)
downloadinf105-997399facd605bdf6437644ce73824d8e065a130.tar.gz
inf105-997399facd605bdf6437644ce73824d8e065a130.tar.bz2
inf105-997399facd605bdf6437644ce73824d8e065a130.zip
Small changes in wording of curriculum.
-rw-r--r--programme-inf105.tex19
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.