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