Mercurial > 14ss.theoinf
annotate notes/tex/complete_notes.tex @ 22:334369297f54
fix compilation error; fix errors in gnf construction; start suppliing complete notes
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Fri, 16 May 2014 17:34:00 +0200 |
parents | 60757c0ba1f0 |
children | 44fd483bde00 |
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} |
15
60757c0ba1f0
rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
53 \end{document} |