Mercurial > 13ss.theoinf

comparison notes/tex/frames.tex @ 41:5d10471f5585

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
move frame-definitions out of presentations
author Markus Kaiser <markus.kaiser@in.tum.de>
date Thu, 11 Jul 2013 20:42:36 +0200
parents
children 35e8bb96da7b
comparison
equal deleted inserted replaced
40:3175d3871752 41:5d10471f5585
1 \newcommand{\defineUnit}[2]{\expandafter\newcommand\csname theoDefine#1\endcsname{#2}}
2 \newcommand{\showUnit}[1]{\csname theoDefine#1\endcsname}
3
4 \defineUnit{organisatorisch}{%
5 \begin{frame}
6 \frametitle{Organisatorisches}
7
8 \begin{itemize}
9 \item Mail: \href{mailto:tutor@zfix.org}{tutor@zfix.org}
10 \item Web: \href{tutor.zfix.org}{tutor.zfix.org}
11 \vfill
12 \item Wann?
13 \begin{itemize}
14 \item Dienstag 10:15-11:45 00.08.038
15 \item Dienstag 12:05-13:35 00.08.038
16 \end{itemize}
17 \item Übungsablauf, Aufgabentypen
18 \item Hausaufgaben
19 \begin{itemize}
20 \item Abgabe am Montag 14h, \alert{allein}
21 \item Rückgabe in der \alert{richtigen} Übung
22 \item Notenbonus für 40\% der Punkte, 40\% in der zweiten Hälfte
23 \end{itemize}
24 \item Klausur
25 \begin{itemize}
26 \item Endterm: Mi 31.07. 11.30-14h
27 \item Wiederholung: Do 26.09. 11-13.30h
28 \end{itemize}
29 \end{itemize}
30 \end{frame}
31 }
32
33 \defineUnit{wasisttheo}{%
34 \begin{frame}
35 \frametitle{Was ist Theoinf?}
36
37 Aus der VL
38 \vspace{1em}
39
40 \begin{itemize}
41 \item Automatentheorie
42 \begin{itemize}
43 \item Rechner mit endlichem oder kellerartigem Speicher
44 \end{itemize}
45 \vspace{0.5em}
46 \item Grammatiken
47 \begin{itemize}
48 \item Syntax von Programmiersprachen
49 \end{itemize}
50 \vspace{0.5em}
51 \item Berechenbarkeitstheorie
52 \begin{itemize}
53 \item Untersuchung der Grenzen, was Rechner prinzipiell können
54 \end{itemize}
55 \vspace{0.5em}
56 \item Komplexitätstheorie
57 \begin{itemize}
58 \item Untersuchung der Grenzen, was Rechner mit begrenzten Ressourcen können
59 \end{itemize}
60 \end{itemize}
61 \end{frame}
62 }
63
64 \defineUnit{alphabet}{%
65 \begin{frame}
66 \frametitle{Alphabet}
67
68 \begin{definition}
69 \begin{itemize}
70 \item Ein \alert{Alphabet} $\Sigma$ ist eine endliche Menge.
71 \item Ein \alert{Wort} über $\Sigma$ ist eine endliche Folge von Zeichen.
72 \item Eine Teilmenge $L \subseteq \Sigma^*$ ist eine \alert{formale Sprache}
73 \end{itemize}
74 \end{definition}
75
76 \vfill
77
78 \begin{definition}[Operationen auf Sprachen]
79 \begin{itemize}
80 \item $\alert{AB} = \left\{ uv \mid u \in A \wedge v \in B \right\}$
81 \item $\alert{A^n} = \left\{w_1 \ldots w_n \mid w_1 \ldots w_n \in A \right\}$,\qquad $A^0 = \{\epsilon\}$
82 \item $\alert{A^*} = \bigcup_{n \in \N_0} A^n$
83 \end{itemize}
84 \end{definition}
85 \end{frame}
86 }
87
88 \input{automatons.tex}
89 \input{grammars.tex}
90 \input{computation.tex}