summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGregor Kleen <gkleen@yggdrasil.li>2019-06-07 15:26:54 +0200
committerGregor Kleen <gkleen@yggdrasil.li>2019-06-07 15:26:54 +0200
commit83cb9236b7ea80a8a9362b1f5616a6177d703cc4 (patch)
tree0e78c49b4873c498ad7ff476310e6c1f57338df2
parentc5bb080ff0e8afed5a71558b8cc82785789308ba (diff)
downloadincremental-dfsts-submission.tar
incremental-dfsts-submission.tar.gz
incremental-dfsts-submission.tar.bz2
incremental-dfsts-submission.tar.xz
incremental-dfsts-submission.zip
-rw-r--r--edit-lens/src/Control/Edit/String.lhs2
-rw-r--r--intro.tex2
2 files changed, 2 insertions, 2 deletions
diff --git a/edit-lens/src/Control/Edit/String.lhs b/edit-lens/src/Control/Edit/String.lhs
index f0ca588..a1b0233 100644
--- a/edit-lens/src/Control/Edit/String.lhs
+++ b/edit-lens/src/Control/Edit/String.lhs
@@ -31,7 +31,7 @@ data StringEdit pos char = Insert { _sePos :: pos, _seInsertion :: char }
31 | Delete { _sePos :: pos } 31 | Delete { _sePos :: pos }
32 deriving (Eq, Ord, Show, Read) 32 deriving (Eq, Ord, Show, Read)
33 33
34-- Automatically derive van-leerhoven-lenses: 34-- Automatically derive van Laarhoven-lenses:
35-- 35--
36-- @sePos :: Lens' (StringEdits pos char) pos@ 36-- @sePos :: Lens' (StringEdits pos char) pos@
37-- @seInsertion :: Traversal' (StringEdits pos char) char@ 37-- @seInsertion :: Traversal' (StringEdits pos char) char@
diff --git a/intro.tex b/intro.tex
index 56d1ef3..85d40fa 100644
--- a/intro.tex
+++ b/intro.tex
@@ -12,7 +12,7 @@ Vor Allem versuchen wir somit zu demonstrieren, dass sich bekannte Klassen von P
12Wir stellen in Abschnitt \ref{edit-lenses} die Definitionen und Konstruktion von edit-lenses aus \cite{hofmann2012edit} vor und diskutieren kurz die Kompatibilität unserer Implementierung und edit-lenses im Allgemeinen mit etablierten Frameworks für funktionale Linsen in Haskell. 12Wir stellen in Abschnitt \ref{edit-lenses} die Definitionen und Konstruktion von edit-lenses aus \cite{hofmann2012edit} vor und diskutieren kurz die Kompatibilität unserer Implementierung und edit-lenses im Allgemeinen mit etablierten Frameworks für funktionale Linsen in Haskell.
13In Abschnitt \ref{finite-state-transducers} präsentieren wir eine etablierte Version von finite state transducern, für die folgenden Teile relevante Konstruktionen darauf und einige assoziierte Beispiele. 13In Abschnitt \ref{finite-state-transducers} präsentieren wir eine etablierte Version von finite state transducern, für die folgenden Teile relevante Konstruktionen darauf und einige assoziierte Beispiele.
14Abschnitt \ref{edit-lenses-fuxfcr-deterministic-finite-state-transducers} beschreibt eine Methode, beliebige deterministische finite state transducers als edit-lenses aufzufassen und stellt somit eine nicht triviale Anwendung der Methoden und Konzepte aus \cite{hofmann2012edit} dar. 14Abschnitt \ref{edit-lenses-fuxfcr-deterministic-finite-state-transducers} beschreibt eine Methode, beliebige deterministische finite state transducers als edit-lenses aufzufassen und stellt somit eine nicht triviale Anwendung der Methoden und Konzepte aus \cite{hofmann2012edit} dar.
15In Abschnitt \ref{ausblick-edit-lenses-fuxfcr-non-determinische-finite-state-transducers} stellen wir kurz einen Ansatz vor, unsere Konstruktion aus \ref{edit-lenses-fuxfcr-deterministic-finite-state-transducers} auch auf nicht-deterministische finite state transducers zu erweitern. 15In Abschnitt \ref{ausblick-edit-lenses-fuxfcr-nicht-determinische-finite-state-transducers} stellen wir kurz einen Ansatz vor, unsere Konstruktion aus \ref{edit-lenses-fuxfcr-deterministic-finite-state-transducers} auch auf nicht-deterministische finite state transducers zu erweitern.
16In Abschnitt \ref{implementierung} kommentieren wir den Implementierungsprozess der Arbeit und die Schlüsse, die wir aus der Implementierung als solcher ziehen konnten. 16In Abschnitt \ref{implementierung} kommentieren wir den Implementierungsprozess der Arbeit und die Schlüsse, die wir aus der Implementierung als solcher ziehen konnten.
17Abschnitt \ref{ausblick-anwendbarkeit-der-implementierung-auf-andere-parser} beschreibt kurz wie sich das dargestellte Verfahren auf andere Sorten von Parsern anwenden ließe. 17Abschnitt \ref{ausblick-anwendbarkeit-der-implementierung-auf-andere-parser} beschreibt kurz wie sich das dargestellte Verfahren auf andere Sorten von Parsern anwenden ließe.
18 18