diff -r 7cdc6d705f70 -r d922cc83b70c handouts/notation.tex --- a/handouts/notation.tex Wed Feb 08 11:02:02 2017 +0000 +++ b/handouts/notation.tex Mon Feb 13 23:22:45 2017 +0000 @@ -8,15 +8,14 @@ \section*{A Crash-Course on Notation} -There are innumerable books available about 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 appologise in advance that sometimes I will be a -bit fuzzy\ldots the problem is that often we want to have -convenience in our mathematical definitions (to make them -readable and understandable), but sometimes we need precision -for actual programs. +There are innumerable books available about 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 appologise in advance that +sometimes I will be a bit fuzzy\ldots the problem is that often we +want to have convenience in our mathematical definitions (to make them +readable and understandable), but other times we need pedantic +precision for actual programs. \subsubsection*{Characters and Strings}