diff options
Diffstat (limited to 'thesis.tex')
-rw-r--r-- | thesis.tex | 46 |
1 files changed, 40 insertions, 6 deletions
@@ -1,18 +1,52 @@ | |||
1 | \vfill | ||
2 | |||
3 | \noindent Ich erkläre hiermit, dass ich die vorliegende Arbeit | ||
4 | selbstständig angefertigt, alle Zitate als solche kenntlich gemacht | ||
5 | sowie alle benutzten Quellen und Hilfsmittel angegeben habe. | ||
6 | |||
7 | \bigskip | ||
8 | |||
9 | \makebox[.5\linewidth][r]{}{\xleaders\hbox to .2em{\d{}}\hfill\d{}}\smallskip \\ | ||
10 | \hspace*{.5\linewidth}Gregor Kleen \\ | ||
11 | \hspace*{.5\linewidth}München, \today | ||
12 | |||
13 | %% \bigskip\noindent München, \today | ||
14 | |||
15 | %% \vspace{4ex}\noindent\makebox[7cm]{\dotfill} | ||
16 | |||
17 | |||
18 | \section{Einführung} | ||
19 | \input{./intro.tex} | ||
20 | |||
1 | \section{Edit-lenses} | 21 | \section{Edit-lenses} |
2 | 22 | ||
3 | Ziel ist es zunächst edit-lenses alá \cite{hofmann2012edit} in Haskell zur Verfügung zu stellen. | 23 | Ziel ist es zunächst edit-lenses alá \cite{hofmann2012edit} in Haskell zur Verfügung zu stellen. |
4 | Dabei werden wir die Definitionen aus \cite{hofmann2012edit} sowohl in natürlicher Sprache als auch in lauffähigem Haskell vorstellen: | 24 | Dabei werden wir die Definitionen aus \cite{hofmann2012edit} sowohl in natürlicher Sprache als auch in lauffähigem Haskell vorstellen. |
5 | 25 | ||
6 | \input{./edit-lens/src/Control/Edit.lhs} | 26 | \input{./edit-lens/src/Control/Edit.lhs.tex} |
7 | \input{./edit-lens/src/Control/Lens/Edit.lhs} | 27 | \input{./edit-lens/src/Control/Lens/Edit.lhs.tex} |
8 | 28 | ||
9 | \section{Finite state transducers} | 29 | \section{Finite state transducers} |
10 | 30 | ||
11 | \input{./edit-lens/src/Control/FST.lhs} | 31 | \input{./edit-lens/src/Control/FST.lhs.tex} |
12 | \input{./edit-lens/src/Control/DFST.lhs} | 32 | \input{./edit-lens/src/Control/DFST.lhs.tex} |
13 | 33 | ||
14 | \subsection{Edit-lenses für deterministic finite state transducers} | 34 | \subsection{Edit-lenses für deterministic finite state transducers} |
15 | \input{./edit-lens/src/Control/DFST/Lens.lhs} | 35 | |
36 | \input{./edit-lens/src/Control/Edit/String.lhs.tex} | ||
37 | \input{./edit-lens/src/Control/DFST/Lens.lhs.tex} | ||
38 | \input{./edit-lens/src/Control/Edit/String/Affected.lhs.tex} | ||
16 | 39 | ||
17 | \subsection{Ausblick: Edit-lenses für non-determinische finite state transducers} | 40 | \subsection{Ausblick: Edit-lenses für non-determinische finite state transducers} |
41 | |||
18 | \input{./edit-lens/src/Control/FST/Lens.tex} | 42 | \input{./edit-lens/src/Control/FST/Lens.tex} |
43 | |||
44 | \section{Resultate} | ||
45 | |||
46 | \subsection{Implementierung} | ||
47 | |||
48 | \input{./implementation.tex} | ||
49 | |||
50 | \subsection{Ausblick: Anwendbarkeit der Implementierung auf andere Parser} | ||
51 | |||
52 | \input{./edit-lens/src/Control/Lens/Edit/ActionTree.lhs.tex} | ||