hw01.tex
author Christian Urban <urbanc@in.tum.de>
Sat, 29 Sep 2012 12:46:42 +0100
changeset 11 5353d405e4e6
parent 9 89588d84998d
child 12 4093d547c011
permissions -rw-r--r--
added slides 2
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}
9
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    11
\item {\bf (Optional)} If you want to look at code presented in the lectures, install the 
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    12
Scala programming language available (for free) from
0
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
\begin{center}
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
\url{http://www.scala-lang.org}
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
\end{center}
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
9
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    17
\item {\bf (Optional)} Have a look at the crawler programs. 
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    18
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
    19
9
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    20
\item In the context of the course, what is meant by the term \emph{language}?
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    21
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    22
\item Give the definition for regular expressions. What is the meaning of a 
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    23
regular expression?
0
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
9
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    25
\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
    26
Define the operation  of \emph{concatenating} two sets of strings.
0
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    27
9
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    28
\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
    29
one for $\_\!\_^{n+1}$.)
0
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    30
9
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
    31
\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
    32
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
    33
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
\end{enumerate}
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{document}
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
%%% Local Variables: 
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
%%% mode: latex
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
%%% TeX-master: t
3a5e09a2ae54 initial comit
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
%%% End: