diff options
author | Gregor Kleen <gkleen@yggdrasil.li> | 2019-05-30 12:18:08 +0200 |
---|---|---|
committer | Gregor Kleen <gkleen@yggdrasil.li> | 2019-05-30 12:18:08 +0200 |
commit | f4c419b9ddec15bad267a4463f0720d6e28042d2 (patch) | |
tree | 54a0259116476150247619c4410eae33f8669314 /presentation/switchdfst.tex | |
parent | 8afbe1f7df24034dd16fdf2e89b0665b2318ae2a (diff) | |
download | incremental-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.tex | 8 |
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} | ||