Mercurial > 13ss.theoinf
annotate notes/tex/complete_notes.tex @ 55:b815b94ae158
ue13 notes
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Mon, 22 Jul 2013 23:56:37 +0200 |
parents | a2d28c18251a |
children |
rev | line source |
---|---|
47
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
1 \input{preamble.tex} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
2 \input{frames.tex} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
3 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
4 \title{Übersichtsfolien zur Übung} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
5 \subtitle{Theoretische Informatik Sommersemester 2013} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
6 \author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
7 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
8 \begin{document} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
9 \showUnit{titel} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
10 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
11 % ue01 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
12 \showUnit{organisatorisches} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
13 \showUnit{wasisttheo} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
14 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
15 \showUnit{alphabet} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
16 \showUnit{dfa} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
17 \showUnit{nfa} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
18 \showUnit{enfa} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
19 \showUnit{name} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
20 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
21 % ue02 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
22 \showUnit{regex} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
23 \showUnit{rezuenfa} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
24 \showUnit{rezuenfazwei} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
25 \showUnit{enfazunfa} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
26 \showUnit{nfazudfa} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
27 \showUnit{produktautomat} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
28 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
29 % ue03 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
30 \showUnit{regexrechnen} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
31 \showUnit{arden} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
32 \showUnit{nfazure} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
33 \showUnit{rpl} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
34 \showUnit{rplanwenden} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
35 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
36 % ue04 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
37 \showUnit{aequivalentezustaende} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
38 \showUnit{unterscheidbarezustande} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
39 \showUnit{quotientenautomat} |
49
72ac27051d7e
fix some more errors; reorganize complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
47
diff
changeset
|
40 \showUnit{regulaeresprachen} |
47
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
41 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
42 % ue05 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
43 \showUnit{grammatik} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
44 \showUnit{ableitung} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
45 \showUnit{cfl} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
46 \showUnit{induktivesprachdefinition} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
47 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
48 % ue06 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
49 \showUnit{cnf} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
50 \showUnit{cnfkonstruktion} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
51 \showUnit{nuetzlichessymbol} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
52 \showUnit{cfpl} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
53 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
54 % ue07 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
55 \showUnit{cyk} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
56 \showUnit{cykbeispiel} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
57 \showUnit{pda} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
58 \showUnit{pdaakzeptanz} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
59 \showUnit{pdabeispiel} |
49
72ac27051d7e
fix some more errors; reorganize complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
47
diff
changeset
|
60 \showUnit{kontextfreiesprachen} |
47
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
61 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
62 % ue08 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
63 \showUnit{tmdefinition} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
64 \showUnit{tmvisualisierung} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
65 \showUnit{ndtm} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
66 |
49
72ac27051d7e
fix some more errors; reorganize complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
47
diff
changeset
|
67 % ue09, ue10 |
47
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
68 \showUnit{chomsky} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
69 \showUnit{loop} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
70 \showUnit{pr} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
71 \showUnit{prrekursion} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
72 \showUnit{prprogramme} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
73 \showUnit{prerweitert} |
49
72ac27051d7e
fix some more errors; reorganize complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
47
diff
changeset
|
74 \showUnit{prmax} |
72ac27051d7e
fix some more errors; reorganize complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
47
diff
changeset
|
75 \showUnit{murekursion} |
47
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
76 \showUnit{tmif} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
77 \showUnit{while} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
78 \showUnit{goto} |
55 | 79 \showUnit{typ0sprachen} |
80 \showUnit{spracheigenschaften} | |
81 \showUnit{formalesprachen} | |
47
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
82 \showUnit{berechenbarkeit} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
83 \showUnit{entscheidbarkeit} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
84 \showUnit{breduktion} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
85 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
86 % ue11 |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
87 \showUnit{spezielleshalteproblem} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
88 \showUnit{halteproblem} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
89 \showUnit{aufzaehlbarkeit} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
90 \showUnit{rice} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
91 \showUnit{pcp} |
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
92 \showUnit{pcpbeispiel} |
53 | 93 |
94 % ue12 | |
95 \showUnit{time} | |
96 \showUnit{ntime} | |
97 \showUnit{pundnp} | |
98 \showUnit{verifikator} | |
99 \showUnit{preduktion} | |
100 \showUnit{npvollstaendigkeit} | |
101 \showUnit{sat} | |
102 \showUnit{3col} | |
55 | 103 |
104 % ue13 | |
105 \showUnit{klausur} | |
47
67f995b2c412
recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
106 \end{document} |