master.tex 1.1 KB
Newer Older
1
2
\RequirePackage[l2tabu, orthodox]{nag} %
\documentclass[a4paper,frontpage,fleqn]{scrartcl}
Philip Kaludercic's avatar
Philip Kaludercic committed
3
4
5

\usepackage[T1]{fontenc} %
\usepackage[utf8]{inputenc} %
6
\usepackage[ngerman]{babel} %
7
\usepackage{hyperref} %
Philip Kaludercic's avatar
Philip Kaludercic committed
8
9
10
11
\usepackage{lmodern} %
\usepackage{microtype} %
\usepackage[margin=2.71828182846cm]{geometry} %
\usepackage[shortlabels]{enumitem} %
12
13
\usepackage{amsmath} %

Philip Kaludercic's avatar
Philip Kaludercic committed
14
\usepackage{tikz} %
15
\usetikzlibrary{arrows,automata,positioning,matrix} %
Philip Kaludercic's avatar
Philip Kaludercic committed
16

17
18
19
20
21
22
\renewcommand{\include}{\input}

\subject{Klausur Braindump\thanks{\textit{Wie Immer:} Keine Garantie auf
    Richtigkeit. Angaben werden zum meisten Teil vereinfacht
    wiedergegeben. Fehler und Verbesserungen via Gitlab melden:
    \url{https://gitlab.cs.fau.de/oj14ozun/bfs-ws18}.}} %
Philip Kaludercic's avatar
Philip Kaludercic committed
23
24
\title{Berechenbarkeit und Formelle Sprachen} %
\date{\textsc{Wintersemester 18/19}} %
25
\author{Diverse Teilnehmer}
Philip Kaludercic's avatar
Philip Kaludercic committed
26
27

\begin{document}
28
\clearpage{}
Philip Kaludercic's avatar
Philip Kaludercic committed
29
\maketitle{}
30
31
\thispagestyle{empty}

32
33
34
35
36
37
\include{wissensfragen}
\include{halteproblem}
\include{pumpingeigenschaft}
\include{automaten}
\include{kontextfrei}
\include{redukution}
38
\end{document}
Philip Kaludercic's avatar
Philip Kaludercic committed
39
40
41
42
43

%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End: