Mercurial > 14ss.theoinf
annotate notes/tex/complete_notes.tex @ 15:60757c0ba1f0
rename automata file; add complete notes
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Fri, 09 May 2014 11:28:33 +0200 |
parents | |
children | 334369297f54 |
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} |
60757c0ba1f0
rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
35 \end{document} |