equal
  deleted
  inserted
  replaced
  
    
    
     3 \usepackage{../langs} | 
     3 \usepackage{../langs} | 
     4   | 
     4   | 
     5   | 
     5   | 
     6   | 
     6   | 
     7 \begin{document} | 
     7 \begin{document} | 
         | 
     8 \fnote{\copyright{} Christian Urban, King's College London, 2014, 2015, 2016, 2017} | 
         | 
     9   | 
     8   | 
    10   | 
     9 \section*{A Crash-Course on Notation} | 
    11 \section*{A Crash-Course on Notation} | 
    10   | 
    12   | 
    11 There are innumerable books available about compilers, automata theory  | 
    13 There are innumerable books available about compilers, automata theory  | 
    12 and formal languages. Unfortunately, they often use their own  | 
    14 and formal languages. Unfortunately, they often use their own  |