summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2018-10-17 16:02:23 +0200
committerDavid A. Madore <david+git@madore.org>2018-10-17 16:02:23 +0200
commit4261a14d43ac1e7cae68962dacdbbb9a95293167 (patch)
treedd4c283144d29de8840aa9afc2660d909241adb6
parent1344414e41dd66e79d484ac9e9d585cad4d115c7 (diff)
downloadinf105-4261a14d43ac1e7cae68962dacdbbb9a95293167.tar.gz
inf105-4261a14d43ac1e7cae68962dacdbbb9a95293167.tar.bz2
inf105-4261a14d43ac1e7cae68962dacdbbb9a95293167.zip
Typos in slides.
-rw-r--r--slides1.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/slides1.tex b/slides1.tex
index b7c9120..10ed293 100644
--- a/slides1.tex
+++ b/slides1.tex
@@ -194,7 +194,7 @@ $\Sigma^*$.
\smallskip
-{\footnotesize P.ex. $\{a\}^* = \{\varnothing, a, aa, aaa, aaaa,
+{\footnotesize P.ex. $\{a\}^* = \{\varepsilon, a, aa, aaa, aaaa,
\ldots\}$.\par}
\end{frame}
@@ -596,7 +596,7 @@ si $r$ est une r.e., on note $L(r)$ le langage qu'elle dénote.
\bigskip
-\itempoint On dit que $w$ \textbf{vérifie} $w$ quand $w \in L(r)$.
+\itempoint On dit que $w$ \textbf{vérifie} $r$ quand $w \in L(r)$.
\smallskip