summaryrefslogtreecommitdiff
path: root/presentation/switchdfst.tex
diff options
context:
space:
mode:
authorGregor Kleen <gkleen@yggdrasil.li>2019-05-30 12:18:08 +0200
committerGregor Kleen <gkleen@yggdrasil.li>2019-05-30 12:18:08 +0200
commitf4c419b9ddec15bad267a4463f0720d6e28042d2 (patch)
tree54a0259116476150247619c4410eae33f8669314 /presentation/switchdfst.tex
parent8afbe1f7df24034dd16fdf2e89b0665b2318ae2a (diff)
downloadincremental-dfsts-f4c419b9ddec15bad267a4463f0720d6e28042d2.tar
incremental-dfsts-f4c419b9ddec15bad267a4463f0720d6e28042d2.tar.gz
incremental-dfsts-f4c419b9ddec15bad267a4463f0720d6e28042d2.tar.bz2
incremental-dfsts-f4c419b9ddec15bad267a4463f0720d6e28042d2.tar.xz
incremental-dfsts-f4c419b9ddec15bad267a4463f0720d6e28042d2.zip
Further work
Diffstat (limited to 'presentation/switchdfst.tex')
-rw-r--r--presentation/switchdfst.tex8
1 files changed, 8 insertions, 0 deletions
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 @@
1\begin{tikzpicture}[->,auto,node distance=2.5cm]
2 \node[initial,state,accepting] (a) {$A$};
3 \node[state,accepting] (b) [right of=a] {$B$};
4 \path (a) edge [bend left=20] node [above] {$(\text{s}, \epsilon)$} (b)
5 (b) edge [bend left=20] node [below] {$(\text{s}, \epsilon)$} (a)
6 (a) edge [loop above] node {$(\text{p}, a)$} (a)
7 (b) edge [loop above] node {$(\text{p}, b)$} (b);
8\end{tikzpicture}