Mercurial > 14ss.theoinf

annotate notes/tex/complete_notes.tex @ 31:777563904120

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tenth sheet and notes
author Markus Kaiser <markus.kaiser@in.tum.de>
date Sun, 29 Jun 2014 16:58:20 +0200
parents b56fe50e0132
children 24d446e2f94c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
15
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
1 \input{preamble.tex}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
2 \input{frames.tex}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
3
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
4 \title{Übersichtsfolien zur Übung}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
5 \subtitle{Theoretische Informatik Sommersemester 2014}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
6 \author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
7
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
8 \begin{document}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
9 \showUnit{titel}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
10
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
11 %ue01
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
12 \showUnit{organisatorisches}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
13 \showUnit{wasisttheo}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
14 \showUnit{alphabet}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
15 \showUnit{grammatik}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
16 \showUnit{sprachtypen}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
17 \showUnit{chomsky}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
18 \showUnit{berechenbarkeit}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
19 \showUnit{entscheidbarkeit}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
20
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
21 %ue02
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
22 \showUnit{eindeutigkeit}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
23 \showUnit{dfa}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
24 \showUnit{nfa}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
25 \showUnit{enfa}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
26 \showUnit{nfazudfa}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
27
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
28 %ue03
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
29 \showUnit{regex}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
30 \showUnit{rezuenfa}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
31 \showUnit{enfazunfa}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
32 \showUnit{aequivalentezustaende}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
33 \showUnit{unterscheidbarezustaende}
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
34 \showUnit{quotientenautomat}
22
334369297f54 fix compilation error; fix errors in gnf construction; start suppliing complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 15
diff changeset
35
334369297f54 fix compilation error; fix errors in gnf construction; start suppliing complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 15
diff changeset
36 %ue04
334369297f54 fix compilation error; fix errors in gnf construction; start suppliing complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 15
diff changeset
37 \showUnit{rpl}
334369297f54 fix compilation error; fix errors in gnf construction; start suppliing complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 15
diff changeset
38 \showUnit{nuetzlichessymbol}
334369297f54 fix compilation error; fix errors in gnf construction; start suppliing complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 15
diff changeset
39 \showUnit{cnf}
334369297f54 fix compilation error; fix errors in gnf construction; start suppliing complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 15
diff changeset
40 \showUnit{cfpl}
334369297f54 fix compilation error; fix errors in gnf construction; start suppliing complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 15
diff changeset
41 \showUnit{cnfkonstruktion}
334369297f54 fix compilation error; fix errors in gnf construction; start suppliing complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 15
diff changeset
42 \showUnit{cyk}
334369297f54 fix compilation error; fix errors in gnf construction; start suppliing complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 15
diff changeset
43 \showUnit{cykbeispiel}
334369297f54 fix compilation error; fix errors in gnf construction; start suppliing complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 15
diff changeset
44
334369297f54 fix compilation error; fix errors in gnf construction; start suppliing complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 15
diff changeset
45 %ue05
334369297f54 fix compilation error; fix errors in gnf construction; start suppliing complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 15
diff changeset
46 \showUnit{induktivesprachdefinition}
334369297f54 fix compilation error; fix errors in gnf construction; start suppliing complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 15
diff changeset
47 \showUnit{ogden}
334369297f54 fix compilation error; fix errors in gnf construction; start suppliing complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 15
diff changeset
48 \showUnit{greibach}
334369297f54 fix compilation error; fix errors in gnf construction; start suppliing complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 15
diff changeset
49 \showUnit{greibachkonstruktion}
334369297f54 fix compilation error; fix errors in gnf construction; start suppliing complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 15
diff changeset
50 \showUnit{pda}
334369297f54 fix compilation error; fix errors in gnf construction; start suppliing complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 15
diff changeset
51 \showUnit{pdaakzeptanz}
334369297f54 fix compilation error; fix errors in gnf construction; start suppliing complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 15
diff changeset
52 \showUnit{pdabeispiel}
25
44fd483bde00 week seven sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 22
diff changeset
53
44fd483bde00 week seven sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 22
diff changeset
54 %ue06
44fd483bde00 week seven sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 22
diff changeset
55 % nothing here
44fd483bde00 week seven sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 22
diff changeset
56
44fd483bde00 week seven sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 22
diff changeset
57 %ue07
44fd483bde00 week seven sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 22
diff changeset
58 \showUnit{dpda}
44fd483bde00 week seven sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 22
diff changeset
59 \showUnit{lrgrammars}
27
f7bcd68a0c12 eigth sheet and notes; add hierarchy slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 25
diff changeset
60
f7bcd68a0c12 eigth sheet and notes; add hierarchy slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 25
diff changeset
61 %ue08
f7bcd68a0c12 eigth sheet and notes; add hierarchy slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 25
diff changeset
62 \showUnit{tmdefinition}
f7bcd68a0c12 eigth sheet and notes; add hierarchy slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 25
diff changeset
63 \showUnit{tmvisualisierung}
f7bcd68a0c12 eigth sheet and notes; add hierarchy slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 25
diff changeset
64 \showUnit{tmkonfiguration}
f7bcd68a0c12 eigth sheet and notes; add hierarchy slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 25
diff changeset
65 \showUnit{ndtm}
f7bcd68a0c12 eigth sheet and notes; add hierarchy slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 25
diff changeset
66 \showUnit{lba}
30
b56fe50e0132 nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 27
diff changeset
67
b56fe50e0132 nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 27
diff changeset
68 %ue09
b56fe50e0132 nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 27
diff changeset
69 \showUnit{queueautomaten}
b56fe50e0132 nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 27
diff changeset
70 \showUnit{regulaeresprachen}
b56fe50e0132 nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 27
diff changeset
71 \showUnit{kontextfreiesprachen}
b56fe50e0132 nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 27
diff changeset
72 \showUnit{typ0sprachen}
b56fe50e0132 nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 27
diff changeset
73 \showUnit{spracheigenschaften}
b56fe50e0132 nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 27
diff changeset
74 \showUnit{chomsky}
b56fe50e0132 nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 27
diff changeset
75 \showUnit{formalesprachen}
31
777563904120 tenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 30
diff changeset
76
777563904120 tenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 30
diff changeset
77 %ue10
777563904120 tenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 30
diff changeset
78 \showUnit{pr}
777563904120 tenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 30
diff changeset
79 \showUnit{prrekursion}
777563904120 tenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 30
diff changeset
80 \showUnit{prerweitert}
777563904120 tenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 30
diff changeset
81 \showUnit{prprogramme}
777563904120 tenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 30
diff changeset
82 \showUnit{loop}
777563904120 tenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 30
diff changeset
83 \showUnit{berechenbarkeit}
777563904120 tenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 30
diff changeset
84 \showUnit{berechenbarkeitbeispiel}
15
60757c0ba1f0 rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
85 \end{document}