shepherd/latex/examples.tex at be67696ff9bf00fdc634264e8440e68f60b6e260 · SynthesisLab/shepherd · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
\documentclass{article}
\usepackage{tikz}
\usetikzlibrary{automata,positioning,arrows}

% \tikzset{every edge/.append style={
%   auto,
% }}

\begin{document}

\section{Example 1: $(a^\sharp\{a,b\})^\sharp$}
%
File {\tt example1.tikz}

\input{../examples/example1.tikz}


\section{Example 2: capacity-1 bottlenecks}

\subsection{The most basic version}

File {\tt bottleneck-1-ab.tikz}

\input{../examples/bottleneck-1-ab.tikz}

\subsection{The same basic version but complete}

File {\tt bottleneck-1-ab-complete.tikz}

\input{../examples/bottleneck-1-ab-complete.tikz}

\subsection{The same basic version, generated in finsm.io}

File {\tt bottleneck-1-ab-finsm.tikz}

\input{../examples/bottleneck-1-ab-finsm.tikz}

\subsection{The version as appears in the paper, with alphabet $\{a,b,c,d,e\}$.}

File {\tt bottleneck-1-abcde.tikz}

\input{../examples/bottleneck-1-abcde.tikz}

\subsection{The paper version but complete.}

File {\tt bottleneck-1-abcde-complete.tikz}

\input{../examples/bottleneck-1-abcde-complete.tikz}

\subsection{Bottleneck 2.}

File {\tt bottleneck-2.tikz}

\input{../examples/bottleneck-2.tikz}

\subsection{Bug 12}

File {\tt bug12.tikz}

\input{../examples/bug12.tikz}
\end{document}