Further work

3 files changed, 123 insertions, 0 deletions

diff --git a/presentation/comptree.tex b/presentation/comptree.tex
new file mode 100644
index 0000000..e4e6767
--- /dev/null
+++ b/presentation/comptree.tex
@@ -0,0 +1,53 @@
+\begin{tikzpicture}[auto,sibling distance=3.5cm, level distance=3.5cm]
+  \node[] (top) { \begin{tikzpicture}
+                    \node [fit={(0,0) (1,1.5)}, inner sep=0pt, thick, draw, label={$\text{s}\text{p}\text{p}$}] (rect) {};
+                    \path [draw](0.1,1) -- (-0.1,1) node[left]{$A$};
+                    \path [draw](0.1,0.25) -- (-0.1,0.25) node[left]{$B$};
+                    \path (0.75,1) node[above]{$aa$} [draw]-- (1.1,1) node[right]{$A$};
+                    \path (0.75,0.25) node[above]{$bb$} [draw]-- (1.1,0.25) node[right]{$B$};
+                    \path [draw](0.1,1) -- (0.60,0.25) -- (0.75,0.25);
+                    \path [draw](0.1,0.25) -- (0.60,1) -- (0.75,1);
+                  \end{tikzpicture}
+                }
+   child { node (l) { \begin{tikzpicture}
+                        \node [fit={(0,0) (1,1.5)}, inner sep=0pt, thick, draw, label={$\text{s}\text{p}$}] (rect) {};
+                        \path [draw](0.1,1) -- (-0.1,1) node[left]{$A$};
+                        \path [draw](0.1,0.25) -- (-0.1,0.25) node[left]{$B$};
+                        \path (0.85,1) node[above]{$a$} [draw]-- (1.1,1) node[right]{$A$};
+                        \path (0.85,0.25) node[above]{$b$} [draw]-- (1.1,0.25) node[right]{$B$};
+                        \path [draw](0.1,1) -- (0.75,0.25) -- (0.85,0.25);
+                        \path [draw](0.1,0.25) -- (0.75,1) -- (0.85,1);
+                      \end{tikzpicture}
+                    }
+           child { node (ll) { \begin{tikzpicture}
+                                 \node [fit={(0,0) (1,1.5)}, inner sep=0pt, thick, draw, label={$\text{s}$}] (rect) {};
+                                 \path [draw](0.1,1) -- (-0.1,1) node[left]{$A$};
+                                 \path [draw](0.1,0.25) -- (-0.1,0.25) node[left]{$B$};
+                                 \path (0.85,1) node[above]{$\epsilon$} [draw]-- (1.1,1) node[right]{$A$};
+                                 \path (0.85,0.25) node[above]{$\epsilon$} [draw]-- (1.1,0.25) node[right]{$B$};
+                                 \path [draw](0.1,1) -- (0.75,0.25) -- (0.85,0.25);
+                                 \path [draw](0.1,0.25) -- (0.75,1) -- (0.85,1);
+                               \end{tikzpicture}
+                             } }
+           child { node (lr) { \begin{tikzpicture}
+                                 \node [fit={(0,0) (1,1.5)}, inner sep=0pt, thick, draw, label={$\text{p}$}] (rect) {};
+                                 \path [draw](0.1,1) -- (-0.1,1) node[left]{$A$};
+                                 \path [draw](0.1,0.25) -- (-0.1,0.25) node[left]{$B$};
+                                 \path (0.85,1) node[above]{$a$} [draw]-- (1.1,1) node[right]{$A$};
+                                 \path (0.85,0.25) node[above]{$b$} [draw]-- (1.1,0.25) node[right]{$B$};
+                                 \path [draw](0.1,0.25) -- (0.75,0.25) -- (0.85,0.25);
+                                 \path [draw](0.1,1) -- (0.75,1) -- (0.85,1);
+                               \end{tikzpicture}
+                             } }
+         }
+   child { node (r) { \begin{tikzpicture}
+                        \node [fit={(0,0) (1,1.5)}, inner sep=0pt, thick, draw, label={$\text{p}$}] (rect) {};
+                        \path [draw](0.1,1) -- (-0.1,1) node[left]{$A$};
+                        \path [draw](0.1,0.25) -- (-0.1,0.25) node[left]{$B$};
+                        \path (0.85,1) node[above]{$a$} [draw]-- (1.1,1) node[right]{$A$};
+                        \path (0.85,0.25) node[above]{$b$} [draw]-- (1.1,0.25) node[right]{$B$};
+                        \path [draw](0.1,0.25) -- (0.75,0.25) -- (0.85,0.25);
+                        \path [draw](0.1,1) -- (0.75,1) -- (0.85,1);
+                      \end{tikzpicture}
+                    } };
+\end{tikzpicture}
diff --git a/presentation/editconv.tex b/presentation/editconv.tex
new file mode 100644
index 0000000..26dbcc7
--- /dev/null
+++ b/presentation/editconv.tex
@@ -0,0 +1,62 @@
+\begin{tikzpicture}[node distance=2cm and 2cm,auto]
+  \tikzset{myptr/.style={decoration={markings,mark=at position 1 with %
+    {\arrow[scale=3,>=stealth]{>}}},postaction={decorate}}}
+
+  \coordinate[] (e1) {};
+
+  \node[shape=rectangle, draw, left = of e1] (l1)
+       { \begin{tabular}{l l}
+           Schubert & 1797–1828 \\
+           Shumann  & 1810–1856
+         \end{tabular}
+       };
+
+  \node[shape=rectangle, draw, right = of e1] (r1)
+       { \begin{tabular}{l l}
+           Schubert & Austria \\
+           Shumann  & Germany
+         \end{tabular}
+       };
+
+  \draw (l1) -- (e1) -- (r1);
+
+  \coordinate[below = of e1,label={$\iota_L \rightarrow \iota_R$}] (e2) {};    
+
+  \node[shape=rectangle, draw, left = of e2] (l2)
+       { \begin{tabular}{l l}
+           Schubert   & 1797–1828 \\
+           Shumann    & 1810–1856 \\
+           \textcolor{blue}{Monteverdi} & \textcolor{blue}{1567–1643}
+         \end{tabular}
+       };
+
+  \node[shape=rectangle, draw, right = of e2] (r2)
+       { \begin{tabular}{l l}
+           Schubert   & Austria \\
+           Shumann    & Germany \\
+           \textcolor{red}{Monteverdi} & \textcolor{red}{\emph{null}}
+         \end{tabular}
+       };
+
+  \draw[myptr] (l2) -- (e2) |- (r2);
+
+  \coordinate[below = of e2,label={$\delta_R \leftarrow \delta_L$}] (e3) {};
+
+  \node[shape=rectangle, draw, left = of e3] (l3)
+       { \begin{tabular}{l l}
+           Schubert   & 1797–1828 \\
+           \textcolor{red}{Schumann}   & 1810–1856 \\
+           Monteverdi & 1567–1643
+         \end{tabular}
+       };
+
+  \node[shape=rectangle, draw, right = of e3] (r3)
+       { \begin{tabular}{l l}
+           Schubert   & Austria \\
+           \textcolor{blue}{Schumann}   & Germany \\
+           Monteverdi & \textcolor{blue}{Italy}
+         \end{tabular}
+       };
+
+   \draw[myptr] (r3) -- (e3) |- (l3);
+\end{tikzpicture}
diff --git a/presentation/switchdfst.tex b/presentation/switchdfst.tex
new file mode 100644
index 0000000..f27491c
--- /dev/null
+++ b/presentation/switchdfst.tex
@@ -0,0 +1,8 @@
+\begin{tikzpicture}[->,auto,node distance=2.5cm]
+  \node[initial,state,accepting] (a) {$A$};
+  \node[state,accepting] (b) [right of=a] {$B$};
+  \path (a) edge [bend left=20] node [above] {$(\text{s}, \epsilon)$} (b)
+        (b) edge [bend left=20] node [below] {$(\text{s}, \epsilon)$} (a)
+        (a) edge [loop above] node {$(\text{p}, a)$} (a)
+        (b) edge [loop above] node {$(\text{p}, b)$} (b);
+\end{tikzpicture}