handouts/notation.tex
changeset 875 7b5ef798aeaa
parent 830 c602edae2978
child 981 82d0a2aa1849
--- 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