+
+\subsection{Appliance on extraction of patterns}
+The algorithm for minimizing DAWGs can not be applied directly on the user
+generated pattern. This is mainly because there is no conclusive information
+about the contents of the pattern and therefore non deterministic choices have
+to be made. Because of this there can be multiple matches and the best match
+has to be determined. There are several possible criteria for determining the
+best match. The method we use is ... TODO