\documentclass[12pt]{article}

\usepackage{ngerman,a4}
\usepackage{amstext}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{stmaryrd}
\usepackage{enumerate}
\usepackage{alltt}
\usepackage[latin1]{inputenc}
\usepackage{cancel}
\usepackage{fancyhdr}
\usepackage{pstricks}
\usepackage{pst-node}

\title{\textsc{Einführung in die Computerlinguistik \\ \large Übung 4}}
\author{\shortstack[c]{Jan Hendrik Dithmar \\ \footnotesize Matrikelnummer 2031259}}
\date{}

\pagestyle{fancy}

\lhead{Übung 4}
\chead{}
\rhead{Dithmar (2031259)}
\lfoot{Einf. i. d. Computerlinguistik}
\cfoot{Seite \thepage}
\rfoot{WS 2006/2007}

\begin{document}

\renewcommand{\headrulewidth}{0.4pt}
\renewcommand{\footrulewidth}{0.4pt}

\newcommand{\AND}{\ensuremath{\wedge}}
\newcommand{\OR}{\ensuremath{\vee}}
\newcommand{\SetR}{\ensuremath{\mathbb{R}}}
\newcommand{\SetN}{\ensuremath{\mathbb{N}}}
\newcommand{\SetC}{\ensuremath{\mathbb{C}}}
\newcommand{\SetZ}{\ensuremath{\mathbb{Z}}}
\newcommand{\SetQ}{\ensuremath{\mathbb{Q}}}
\newcommand{\SetB}{\ensuremath{\mathbb{B}}}
\newcommand{\QED}{\ensuremath{\hspace*{\fill}\square}}
\newcommand{\FLASH}{\ensuremath{\hspace*{\fill}\lightning}}
\newcommand{\OnotO}{\ensuremath{\mathcal{O}}}
\newcommand{\pfr}{\ensuremath{\rightarrow}}
\newcommand{\bild}[4]{
	\begin{figure}[htpb]
		\centering
			\includegraphics[width=#1cm]{#2}\\[0.2cm]
			\caption{#3}
			\label{#4}
	\end{figure}
	}

\maketitle

\thispagestyle{empty}

\newpage
\setcounter{page}{1}

\section*{Aufgabe 4.1}
\subsection*{(a)}
\begin{pspicture}(0,0)(13,4)
	\cnodeput(1,3){1}{1}
	\cnodeput(4,3){2}{2}
	\cnodeput(7,3){3}{3}
	\cnodeput[doubleline=true](10,3){4}{4}
	\cnodeput(3,1){5}{5}

	\psline{->}(0.2,3.5)(0.7,3.2)

	\nccurve[angleA=90,angleB=90]{->}{1}{2}
	\Aput{er}
	\nccurve[angleB=180]{->}{1}{2}
	\Aput{$\varepsilon$}

	\ncline[angleA=-75,angleB=150]{->}{1}{5}
	\Bput{st}
	\ncline[angleA=45,angleB=-125]{->}{5}{3}
	\Bput{e}

	\nccurve[angleB=180]{->}{2}{3}
	\Aput{e}
	\nccurve[angleA=80,angleB=85]{->}{2}{4}
	\Aput{$\varepsilon$}

	\nccurve[angleB=180]{->}{3}{4}
	\Aput{n}
	\nccurve[angleA=90,angleB=95]{->}{3}{4}
	\Aput{s}
	\nccurve[angleA=40,angleB=140]{->}{3}{4}
	\Aput{m}
	\nccurve[angleA=-40,angleB=-140]{->}{3}{4}
	\Bput{r}
	\nccurve[angleA=-80,angleB=-100]{->}{3}{4}
	\Bput{$\varepsilon$}
\end{pspicture}

\subsection*{(b)}
\begin{pspicture}(0,0)(13,4)
	\cnodeput(1,3){1}{1}
	\cnodeput(3,3){2}{2}
	\cnodeput(5,3){3}{3}
	\cnodeput(7,3){4}{4}
	\cnodeput[doubleline=true](9,3){5}{5}

	\psline{->}(0.2,3.5)(0.7,3.2)

	\ncline{->}{1}{2}
	\Aput{e}

	\ncline{->}{2}{3}
	\Aput{t}
	\nccurve[angleA=45,angleB=135]{->}{2}{4}
	\Aput{$\varepsilon$}

	\ncline{->}{3}{4}
	\Aput{e}

	\ncline{->}{4}{5}
	\Aput{t}
	\nccurve[angleA=90,angleB=90]{->}{4}{5}
	\Aput{st}
	\nccurve[angleA=-45,angleB=-130]{->}{4}{5}
	\Aput{n}
	\nccurve[angleA=-90,angleB=-115]{->}{4}{5}
	\Bput{$\varepsilon$}
\end{pspicture}

\newpage
\section*{Aufgabe 4.2}
\subsection*{(a)}
Wenn wir definieren, dass ein Automat beim Erreichen eines Endzustandes halten {\bfseries muss}, dann muss man wie im folgenden Diagramm einen speziellen Endzustand einführen. \\
\begin{pspicture}(0,-2)(13,4)
	\cnodeput(1,1){1}{1}
	\cnodeput(4,1){2}{2}
	\cnodeput(7,1){3}{3}
	\cnodeput(10,1){4}{4}
	\cnodeput[doubleline=true](13,1){5}{5}

	\psline{->}(0.2,1.5)(0.7,1.2)

	\ncline{->}{1}{2}
	\Aput{Det}

	\ncdiag[arm=0.8,angleA=70,angleB=110,linearc=0.25]{->}{2}{2}
	\Bput{A}
	\ncline{->}{2}{3}
	\Aput{N}

	\ncline{->}{3}{4}
	\Aput{Prp}
	\nccurve[angleA=80,angleB=100]{->}{3}{5}
	\Aput{$\varepsilon$}

	\nccurve[angleA=120,angleB=60]{->}{4}{2}
	\Bput{A}
	\nccurve[angleA=-120,angleB=-60]{->}{4}{2}
	\Aput{Det}
\end{pspicture}

\noindent Wird jedoch definiert, dass ein Automat beim Erreichen eines Endzustandes halten {\bfseries kann} (d.h. nur dann hält, wenn die Eingabe fertig gelesen wurde),
ist folgendes Diagramm ausreichend: \\
\begin{pspicture}(0,-2)(13,4)
	\cnodeput(1,1){1}{1}
	\cnodeput(4,1){2}{2}
	\cnodeput[doubleline=true](7,1){3}{3}
	\cnodeput(10,1){4}{4}

	\psline{->}(0.2,1.5)(0.7,1.2)

	\ncline{->}{1}{2}
	\Aput{Det}

	\ncdiag[arm=0.8,angleA=70,angleB=110,linearc=0.25]{->}{2}{2}
	\Bput{A}
	\ncline{->}{2}{3}
	\Aput{N}

	\ncline{->}{3}{4}
	\Aput{Prp}

	\nccurve[angleA=120,angleB=60]{->}{4}{2}
	\Bput{A}
	\nccurve[angleA=-120,angleB=-60]{->}{4}{2}
	\Aput{Det}
\end{pspicture}

\subsection*{(b)}
Ab sofort, wird angenommen, dass ein Automat beim Erreichen eines Endzustandes hält, wenn die Eingabe fertig gelesen wurde. Erreicht der Automat einen Endzustand,
hat jedoch die Eingabe noch nicht vollständig konsumiert, so läuft er weiter. \\
\begin{pspicture}(0,-2)(13,4)
	\cnodeput(1,1){1}{1}
	\cnodeput(4,1){2}{2}
	\cnodeput[doubleline=true](7,1){3}{3}
	\cnodeput(10,1){4}{4}

	\psline{->}(0.2,1.5)(0.7,1.2)

	\ncline{->}{1}{2}
	\Bput{Det}
	\nccurve[angleA=-60,angleB=-120]{->}{1}{3}
	\Bput{PN}

	\ncdiag[arm=0.8,angleA=70,angleB=110,linearc=0.25]{->}{2}{2}
	\Bput{A}
	\ncline{->}{2}{3}
	\Aput{N}

	\ncline{->}{3}{4}
	\Bput{Prp}

	\nccurve[angleA=120,angleB=60]{->}{4}{2}
	\Bput{A}
	\nccurve[angleA=-90,angleB=-90]{->}{4}{2}
	\Aput{Det}
	\nccurve[angleA=140,angleB=40]{->}{4}{3}
	\Bput{Pro}
\end{pspicture}

\subsection*{(c)}
\begin{itemize}
	\item Possesivpronomen (Pos)
	\item Demonstrativpronomen (Dem)
\end{itemize}
\begin{pspicture}(0,-2)(16,4)
	\cnodeput(1,1){1}{1}
	\cnodeput(6,1){2}{2}
	\cnodeput[doubleline=true](9,1){3}{3}
	\cnodeput(12,1){4}{4}

	\psline{->}(0.2,1.5)(0.7,1.2)

	\ncline{->}{1}{2}
	\Bput{Det}
	\nccurve[angleA=90,angleB=140,offset=.1]{->}{1}{2}
	\Aput{Pos}
	\nccurve[angleA=-40,angleB=-140]{->}{1}{3}
	\Bput{PN}
	\nccurve[angleA=50,angleB=150]{->}{1}{2}
	\Bput{Dem}

	\ncdiag[arm=0.8,angleA=70,angleB=110,linearc=0.25]{->}{2}{2}
	\Bput{A}
	\ncline{->}{2}{3}
	\Aput{N}

	\ncline{->}{3}{4}
	\Bput{Prp}

	\nccurve[angleA=120,angleB=60]{->}{4}{2}
	\Bput{A}
	\nccurve[angleA=-90,angleB=-90]{->}{4}{2}
	\Aput{Det}
	\nccurve[angleA=140,angleB=40]{->}{4}{3}
	\Bput{Pro}
	\nccurve[angleA=-120,angleB=-60]{->}{4}{2}
	\Bput{Pos}
	\nccurve[angleA=-145,angleB=-30]{->}{4}{2}
	\Bput{Dem}
\end{pspicture}

\newpage
\section*{Aufgabe 4.3}

\subsection*{(b)}
Levenshtein-Distanz:
\begin{itemize}
	\item semantisch -- seemännisch: 3
	\item semantisch -- romantisch: 2
	\item seemännisch -- romantisch: 5
\end{itemize}

\subsection*{(c)}
Nicht jeder Eingabefehler führt zu einem Nicht-Wort (also einem Wort, welches nicht im Lexikon der Rechtschreibkorrektur steht). Es entstehen oft Wörter, die im Lexikon
vorhanden sind. Diese würden dann nicht als falsch erkannt werden, obwohl sie in Bezug auf den Kontext offensichtlich falsch sind. Dies möchte man vermeiden und nutzt
deshalb kontextabhängige Korrektur.

\newpage
\section*{Aufgabe 4.4}
(Eine kleine Anmerkung am Rande: Wieso wird eigentlich vorausgesetzt, dass man MS Word einsetzt?) \\
Die für diese Aufgabe verwendete Word-Version ist: Microsoft Office Word 2003

\subsection*{(a), (b)}
Hauptsätze:
\begin{itemize}
	\item Der Hund liegt auf Sofa.
		\begin{enumerate}[(a)]
			\item Wurde nicht als falsch erkannt.
			\item Vor \glqq Sofa\grqq\ fehlt der Artikel. Word scheint gar nicht auf fehlende Artikel zu überprüfen.
		\end{enumerate}
	\item Auf dem Sofa der Hund liegt.
		\begin{enumerate}[(a)]
			\item Wurde nicht als falsch erkannt.
			\item Der letzte Teil des Satzes (\glqq der Hund liegt\grqq ) ist grammatikalisch an sich korrekt. Word scheint also nicht auf Satzbau zu prüfen.
		\end{enumerate}
	\item Sofa liegt Hund.
		\begin{enumerate}[(a)]
			\item Wurde nicht als falsch erkannt.
			\item Auch hier passt \glqq Sofa liegt\grqq\ grammatikalisch gut zusammen, da eine Übereinstimmung von Subjekt und Hauptverb in Person und Numerus
				gegeben ist. Der Satz macht so allerdings keinen Sinn, was jedoch nicht von Word überprüft wird.
		\end{enumerate}
	\item Hilf \textit{den} Kind.
		\begin{enumerate}[(a)]
			\item Wurde als falsch erkannt. Allerdings wurde ein falscher Vorschlag gemacht: \glqq das\grqq
			\item Ich vermute, dass Word hier die Möglichkeit mit der höheren Wahrscheinlichkeit nimmt. \glqq Das Kind\grqq\ scheint wohl eher vorzukommen als
				\glqq dem Kind\grqq .
		\end{enumerate}
	\item \textit{Das} Computer ist gut für mich.
		\begin{enumerate}[(a)]
			\item Wurde als falsch erkannt. Es wurde ein richtiger Vorschlag gemacht.
			\item -
		\end{enumerate}
	\item Die Verkäuferin hat \textit{mir} gut beraten.
		\begin{enumerate}[(a)]
			\item Wurde als falsch erkannt. Es wurde ein richtiger (\glqq mich\grqq ) und ein falscher (\glqq ich\grqq ) Vorschlag gemacht.
			\item Hier hat Word erkannt, dass \glqq mir\grqq\ wohl falsch ist und schlägt einfach die beiden anderen möglichen Pronomen vor.
		\end{enumerate}
\end{itemize}
Nominalausdrücke:
\begin{itemize}
	\item An Musik \textit{interessierten} Schüler liebt Pizza.
		\begin{enumerate}[(a)]
			\item Wurde nicht als falsch erkannt.
			\item Da Word anscheinend nicht den Artikel überprüft, wird die Form nicht als falsch erkannt.
		\end{enumerate}
	\item Für \textit{es} sich entschieden hat, das ist das Studienfach.
		\begin{enumerate}[(a)]
			\item Wurde nicht als falsch erkannt.
			\item Der Nebensatz an sich könnte fast als grammatikalisch korrekt eingestuft werden. \glqq Es hat sich entschieden\grqq\ ist ein korrekt gebildetes
				Passiv, passt jedoch nicht zum anderen Teil des Satzes. Des weiteren haben wir hier wieder den Fall, dass Word fehlende Artikel nicht überprüft.
				Außerdem scheint Word auch nicht die Satzstellung zu überprüfen, da sonst das obige Beispiel entsprechend als falsch eingestuft werden sollte.
		\end{enumerate}
	\item Übungen \textit{den} immer macht.
		\begin{enumerate}[(a)]
			\item Wurde nicht als falsch erkannt.
			\item Auch hier denke ich liegt der Fehler daran, dass das Programm nicht nach der Satzstellung schaut. Außerdem ist der Artikel (\glqq den Übungen\grqq )
				natürlich falsch, was auch erkannt werden sollte.
		\end{enumerate}
	\item \textit{Die} an Bauchschmerzen leidende Mann hat keinen Hunger.
		\begin{enumerate}[(a)]
			\item Wurde als falsch erkannt. Es wurde ein richtiger (\glqq Der ... leidende ...\grqq ) und ein falscher (\glqq Den ... leidenden ...\grqq ) Vorschlag
				gemacht.
			\item \glqq Den an Bauchschmerzen leidenden Mann\grqq\ wäre grammatikalisch gesehen völlig korrekt. Warum jedoch die Software diesen Vorschlag macht,
				kann ich mir nicht erklären, da das Verb dann ebenfalls verändert werden müsste, um mit diesem Vorschlag einen korrekten Satz zu erzeugen.
		\end{enumerate}
	\item Der an Arbeitsmangel leidende Selbständige \textit{arbeiten} gerne.
		\begin{enumerate}[(a)]
			\item Wurde als falsch erkannt. Es wurde ein richtiger Vorschlag gemacht.
			\item -
		\end{enumerate}
	\item Des Pförtners Hunde \textit{bellte} sehr laut.
		\begin{enumerate}[(a)]
			\item Wurde als falsch erkannt. Es wurde ein richtiger Vorschlag gemacht.
			\item -
		\end{enumerate}
\end{itemize}

\end{document}
