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} | ||
