From f4c419b9ddec15bad267a4463f0720d6e28042d2 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Thu, 30 May 2019 12:18:08 +0200 Subject: Further work --- presentation/comptree.tex | 53 ++++++++++++++++++++++++++++++++++++++ presentation/editconv.tex | 62 +++++++++++++++++++++++++++++++++++++++++++++ presentation/switchdfst.tex | 8 ++++++ 3 files changed, 123 insertions(+) create mode 100644 presentation/comptree.tex create mode 100644 presentation/editconv.tex create mode 100644 presentation/switchdfst.tex (limited to 'presentation') 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} -- cgit v1.2.3