Changeset 224

Timestamp:

Nov 10, 2010, 9:35:19 PM (14 years ago)

Author:

Rick van der Zwet

Message:

Answers to first assignment

Location:

liacs/TPFL2010/assignment1

Files:

• latex.mk (modified) (1 diff)
• report.tex (modified) (1 diff)

liacs/TPFL2010/assignment1/latex.mk

@@ -56 +56 @@
         $(ASPELL) -l en -p ~/aspell-en.dic $(ASPELL_ARGS) $<
 
-.dvi.pdf:
-        $(DVIPDF) $? $@
+#.dvi.pdf:
+#       $(DVIPDF) $? $@
+
+.tex.pdf:
+        pdflatex -halt-on-error $?
+        pdflatex -halt-on-error $?
 
 .tex.dvi:

liacs/TPFL2010/assignment1/report.tex

@@ -8 +8 @@
 \usepackage[english,dutch]{babel}
 \selectlanguage{dutch}
-\usepackage{graphicx}
+\usepackage[pdftex]{graphicx}
 \usepackage{url}
-\usepackage{multicol}
-\usepackage{fancybox}
 \usepackage{amssymb,amsmath}
+\usepackage{lipsum}
+\usepackage{float}
 
-\author{Rick van der Zwet, Universiteit Leiden}
-\title{XXX \\
-\large{XXX}}
+\floatstyle{ruled}
+\newfloat{algoritm}{thp}{lop}
+\floatname{algoritm}{Algoritme}
+
+\title{Opdracht 1 \\
+\large{Topics on Parsing and Formal Languages - fall 2010}}
 \author{Rick van der Zwet\\
-  \texttt{<hvdzwet@liacs.nl>}\\
-  \\
-  LIACS\\
-  Leiden University\\
-  Niels Bohrweg 1\\
-  2333 CA Leiden\\
-  The Netherlands}
+  \texttt{<hvdzwet@liacs.nl>}}
 \date{\today}
 
+
 \begin{document}
+\newcommand{\DFA}{\emph{DFA}~}
+\newcommand{\qed}{\hfill \ensuremath{\Box}}
+\maketitle
+\begin{abstract}
+Dit schrijven zal uitwerkingen van opgaven behandelen uit het boek
+\cite{JS2009} gebruikt bij het college. In deze opdracht zullen zeven opgaven
+(3,20,22,47,54,68,69) van hoofdstuk 3 behandeld worden.
+\end{abstract}
 
-\maketitle
+\section{Opgave 3.3}
+Als $L \subseteq \Sigma^*$ is regulier dan is de taal
+\begin{equation}
+2L := {a_1,a_1,a_2,a_2,\ldots,a_k,a_k}~:~elke~a_i \in \Sigma~en~a_1a_2{\cdots}a_k \in L
+\end{equation}
+regulier. Zie dat er een `verdubbeling' optreed van symbolen, dit gedrag is de
+modeleren in een \DFA. Omdat $L$ regulier is bestaat er een \DFA $M =
+(Q,\Sigma,\delta,q_0,F)$ die $L$ beschijft.  Construreer nu een nieuwe \DFA $P$
+die de nieuwe taal $2L$ gaat beschrijven, neem hiervoor het alfabet ($\Sigma$),
+en de begintoestand $q_0$ over van $L$. De toestanden ($Q$) worden verdubbeled.
+$voor~alle~q \in Q:~voeg~q'~toe~aan~Q$. Neem ook de transities over van $M$,
+maar maak aanpassingen zodaning dat de nieuwe toestanden ook gelezen worden. Dus
+$\delta(q,x)$ wordt $\delta(q,q'),\delta(q',x)$. De acceptatie toestand $F$
+moet ook aangepast worden, door de oude acceptatie $q$ te vervangen door $q'$.
 
-\section{Inleiding}
-\section{Uitleg probleem}
-\section{Theorie}
-\section{Aanpak}
-\section{Implementatie}
-\section{Experimenten}
-\section{Conclusie}
-\begin{thebibliography}{10}
+De nieuwe \DFA $P$ beschijft $2L$ en dus is $2L$ regulier.
+\qed
+
+
+
+\section{Opgave 3.20}
+\section{Opgave 3.22}
+\section{Opgave 3.47}
+\section{Opgave 3.54}
+\section{Opgave 3.68}
+\section{Opgave 3.69}
+
+\begin{thebibliography}{1}
+\bibitem[JS2009]{JS2009}Jeffrey Shallit, \emph{A second course in formal
+languages and automata theory }, \emph{Cambridge University Press}, 2009.
 \end{thebibliography}
 \newpage
-% \advance\textwidth by 8cm
-% \advance\oddsidemargin by -3cm
-% \advance\evensidemargin by -3cm
-% \advance\topmargin by -2cm
-% \advance\textheight by 4cm
-% \advance\footskip by -4cm
-% \marginparwidth 0cm
-% \twocolumn
-% \section*{Appendix}
-% De NN code en pre-parse.pl code  zagen er als volgt uit:
-% \newline
-% \tiny
-% %preformatted with `source-highlight -n -f latex bridge.cc`
-% \input{nn.c}
-% \input{data/pre-parse.pl}
-% \onecolumn
-
 \end{document}