summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2020-01-21 12:27:40 +0100
committerDavid A. Madore <david+git@madore.org>2020-01-21 12:27:40 +0100
commitf669859b9c136935001415911cfbe98427fac801 (patch)
tree9acba331e9b44ebf144973add8605a43a266f2ab
parent34ce26b5f548ffa88ac73b6e2663e586a89163a4 (diff)
downloadinf105-f669859b9c136935001415911cfbe98427fac801.zip
inf105-f669859b9c136935001415911cfbe98427fac801.tar.gz
inf105-f669859b9c136935001415911cfbe98427fac801.tar.bz2
Front page.
-rw-r--r--controle-20200123.tex10
1 files changed, 7 insertions, 3 deletions
diff --git a/controle-20200123.tex b/controle-20200123.tex
index d8a6774..58e82d7 100644
--- a/controle-20200123.tex
+++ b/controle-20200123.tex
@@ -88,6 +88,10 @@ Les exercices sont totalement indépendants. Ils pourront être traités
dans un ordre quelconque, mais on demande de faire apparaître de façon
très visible dans les copies où commence chaque exercice.
+Dans l'exercice \ref{exercise-on-unary-languages}, les deux parties
+peuvent en principe être traitées indépendamment, mais la première
+donne un exemple aidant à comprendre la démarche de la seconde.
+
\medbreak
L'usage de tous les documents (notes de cours manuscrites ou
@@ -99,12 +103,12 @@ L'usage des appareils électroniques est interdit.
Durée : 1h30
-Barème \emph{indicatif} : \textcolor{red}{(à remplir)}.
+Barème \emph{indicatif} : 2+(7+6)+5.
\ifcorrige
Ce corrigé comporte \textcolor{red}{(à remplir)} pages (page de garde incluse)
\else
-Cet énoncé comporte \textcolor{red}{(à remplir)} pages (page de garde incluse)
+Cet énoncé comporte 3 pages (page de garde incluse)
\fi
\vfill
@@ -152,7 +156,7 @@ dénotant le langage qu'il reconnaît.
%
%
-\exercice
+\exercice\label{exercise-on-unary-languages}
Dans cet exercice, on pose $\Sigma := \{a\}$ (alphabet à une seule lettre).