Mercurial > 14ss.theoinf
annotate notes/tex/complete_notes.tex @ 27:f7bcd68a0c12
eigth sheet and notes; add hierarchy slides
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Fri, 06 Jun 2014 17:13:58 +0200 |
parents | 44fd483bde00 |
children | b56fe50e0132 |
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} |
15
60757c0ba1f0
rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
67 \end{document} |