# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1526393321 -3600
# Node ID 913205c1fd0d1d0a925e3c17b3a38c639a756a27
# Parent  c4d821c6309d9006c34f6766245483076297bc2d
updated

diff -r c4d821c6309d -r 913205c1fd0d text/proposal.pdf
Binary file text/proposal.pdf has changed
diff -r c4d821c6309d -r 913205c1fd0d text/proposal.tex
--- a/text/proposal.tex	Tue May 15 10:24:25 2018 +0100
+++ b/text/proposal.tex	Tue May 15 15:08:41 2018 +0100
@@ -86,7 +86,7 @@
 \begin{document}
 
   
-\section*{Proposal:\\
+\section*{Proposal: \\
   Fast Regular Expression Matching\\
   with Brzozowski Derivatives}
 
@@ -258,7 +258,7 @@
 regular expression $(a^*)^* \,b$ and the built-in regular expression
 matchers in the popular programming languages Python and Java (Version
 8 and Version 9). There are many more regular expressions that show
-the same bahaviour.  On the left-hand side the graphs show that for a
+the same behaviour.  On the left-hand side the graphs show that for a
 string consisting of just 28 $a\,$'s, Python and the older Java (which
 was the latest version of Java until September 2017) already need 30
 seconds to decide whether this string is matched or not. This is an