hw01.tex
author Christian Urban <urbanc@in.tum.de>
Sun, 14 Oct 2012 23:41:49 +0100
changeset 34 eeff9953a1c1
parent 12 4093d547c011
permissions -rw-r--r--
tuned
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
12
Christian Urban <urbanc@in.tum.de>
parents: 9
diff changeset
    21
\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
    22
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    23
\item Give the definition for regular expressions. What is the meaning of a 
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    24
regular expression?
0
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
9
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    26
\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
    27
Define the operation  of \emph{concatenating} two sets of strings.
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 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
    30
one for $\_\!\_^{n+1}$.)
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 Given the regular expressions $r_1 = \epsilon$ and $r_2 = \varnothing$ and $r_3 = a$.
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    33
How many strings can the regular expressions $r_1^*$, $r_2^*$ and $r_3^*$ each match?
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
\end{enumerate}
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
\end{document}
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    38
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
%%% Local Variables: 
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
%%% mode: latex
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
%%% TeX-master: t
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    42
%%% End: