From 83cb9236b7ea80a8a9362b1f5616a6177d703cc4 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Fri, 7 Jun 2019 15:26:54 +0200 Subject: Typos --- edit-lens/src/Control/Edit/String.lhs | 2 +- intro.tex | 2 +- 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 } | Delete { _sePos :: pos } deriving (Eq, Ord, Show, Read) --- Automatically derive van-leerhoven-lenses: +-- Automatically derive van Laarhoven-lenses: -- -- @sePos :: Lens' (StringEdits pos char) pos@ -- @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 Wir 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. In 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. Abschnitt \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. -In 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. +In 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. In Abschnitt \ref{implementierung} kommentieren wir den Implementierungsprozess der Arbeit und die Schlüsse, die wir aus der Implementierung als solcher ziehen konnten. Abschnitt \ref{ausblick-anwendbarkeit-der-implementierung-auf-andere-parser} beschreibt kurz wie sich das dargestellte Verfahren auf andere Sorten von Parsern anwenden ließe. -- cgit v1.2.3