hws/hw01.tex
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 26 Sep 2013 11:05:54 +0100
changeset 104 ffde837b1db1
parent 102 1ab41c59e3d3
child 109 f2a90dda7e3b
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
0
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
\documentclass{article}
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
\usepackage{charter}
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
\usepackage{hyperref}
9
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
     4
\usepackage{amssymb}
0
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
\begin{document}
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
\section*{Homework 1}
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
\begin{enumerate}
12
Christian Urban <urbanc@in.tum.de>
parents: 9
diff changeset
    11
\item {\bf (Optional)} If you want to run the code presented 
Christian Urban <urbanc@in.tum.de>
parents: 9
diff changeset
    12
in the lectures, install the 
9
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    13
Scala programming language available (for free) from
0
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
\begin{center}
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
\url{http://www.scala-lang.org}
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
\end{center}
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
9
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    18
\item {\bf (Optional)} Have a look at the crawler programs. 
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    19
Can you find a usage for them in your daily programming life?
0
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
104
ffde837b1db1 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 102
diff changeset
    21
\item Read the handout of the first lecture and make sure you
ffde837b1db1 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 102
diff changeset
    22
understand the concepts of strings and languages. 
ffde837b1db1 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 102
diff changeset
    23
12
Christian Urban <urbanc@in.tum.de>
parents: 9
diff changeset
    24
\item In the context of the AFL-course, what is meant by the term \emph{language}?
9
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    25
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    26
\item Give the definition for regular expressions. What is the meaning of a 
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    27
regular expression?
0
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    28
9
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    29
\item Assume the concatenation operation of two strings is written as $s_1 @ s_2$. 
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    30
Define the operation  of \emph{concatenating} two sets of strings.
0
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
9
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    32
\item How is the power of a language defined? (Hint: There are two rules, one for $\_\!\_^0$ and
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    33
one for $\_\!\_^{n+1}$.)
0
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    35
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
\end{enumerate}
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    38
\end{document}
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
%%% Local Variables: 
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
%%% mode: latex
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    42
%%% TeX-master: t
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
%%% End: