handouts/notation.tex
changeset 875 49d21814a633
parent 830 dbf9d710ce65
--- a/handouts/notation.tex	Mon Aug 29 08:26:59 2022 +0200
+++ b/handouts/notation.tex	Fri Sep 16 12:52:21 2022 +0100
@@ -10,7 +10,7 @@
 
 \section*{A Crash-Course on Notation}
 
-There are innumerable books available about compilers, automata theory
+There are an innumerable number of books available on compilers, automata theory
 and formal languages. Unfortunately, they often use their own
 notational conventions and their own symbols. This handout is meant to
 clarify some of the notation I will use. I apologise in advance that