Commit 7724d9b9 authored by Niklas Rieken's avatar Niklas Rieken

added PDAs

parent f27a51b0
\begin{tikzpicture}
\node (S) at (0, 0) {$S$};
\node[draw,circle] (dum1) at (-.7, -1.5) {};
\node (A1) at (-.7, -2.3) {$A$};
\node[draw,circle] (dum2) at (-.3, -3.5) {};
\node (A2) at (-.3, -4.3) {$A$};
\node (U) at (-2, -4) {$U$};
\node (UU) at (-.3, -5) {$U'$};
\draw[decorate, decoration={snake, amplitude=.6mm}] (S) -- (dum1);
\draw[-] (S) -- +(-6, -5.5) -- +(-5, -5.5) -- (dum1);
\draw[-] (S) -- +(5, -5.5) -- +(3, -5.5) -- (dum1);
\draw[-] (dum1) -- (A1);
\draw[decorate, decoration={snake, amplitude=.6mm}] (A1) -- (dum2);
\draw[-] (A1.west) -- +(-3.5, -3.2) -- +(-1.3, -3.2) -- (dum2);
\draw[-] (A1.east) -- +(2.9, -3.2) -- +(1.9, -3.2) -- (dum2);
\draw[-] (dum2) -- (A2);
\draw[-] (A2.west) -- +(-1.2, -1.2) -- +(1.55, -1.2) -- (A2.east);
\end{tikzpicture}
\begin{tikzpicture}
\node (0A) at (0, 0) {$A$};
\node (0UU) at (0, -.7) {$U'$};
\draw[-] (0A.west) -- +(-1.2, -1.2) -- +(1.55, -1.2) --(0A.east);
\begin{scope}[shift={(7,4)}]
\node (1A1) at (-.7, -2.3) {$A$};
\node[draw,circle] (1dum1) at (-.3, -3.5) {};
\node (1A2) at (-.3, -4.3) {$A$};
\node (1U) at (-2, -4) {$U$};
\node (1UU) at (-.3, -5) {$U'$};
\draw[-] (1A1.west) -- +(-3.5, -3.2) -- +(-1.3, -3.2) -- (1dum1);
\draw[-] (1A1.east) -- +(2.9, -3.2) -- +(1.9, -3.2) -- (1dum1);
\draw[-] (1dum1) -- (1A2);
\draw[decorate, decoration={snake, amplitude=.6mm}] (1A1) -- (1dum1);
\draw[-] (1A2.west) -- +(-1.2, -1.2) -- +(1.55, -1.2) -- (1A2.east);
\end{scope}
\begin{scope}[shift={(4, 0)}]
\node (2A1) at (-.7, -2.3) {$A$};
\node[draw,circle] (2dum1) at (-.3, -3.5) {};
\node (2A2) at (-.3, -4.3) {$A$};
\node[draw,circle] (2dum2) at (.1, -5.5) {};
\node (2A3) at (.1, -6.3) {$A$};
\node (2U1) at (-2, -4) {$U$};
\node (2U2) at (-1.5, -6) {$U$};
\node (2UU) at (.1, -7) {$U'$};
\draw[-] (2A1.west) -- +(-3.5, -3.2) -- +(-1.3, -3.2) -- (2dum1);
\draw[-] (2A1.east) -- +(2.9, -3.2) -- +(1.9, -3.2) -- (2dum1);
\draw[-] (2A2.west) -- +(-3.5, -3.2) -- +(-1.3, -3.2) -- (2dum2);
\draw[-] (2A2.east) -- +(2.9, -3.2) -- +(1.9, -3.2) -- (2dum2);
\draw[-] (2dum1) -- (2A2);
\draw[-] (2dum2) -- (2A3);
\draw[decorate, decoration={snake, amplitude=.6mm}] (2A1) -- (2dum1);
\draw[decorate, decoration={snake, amplitude=.6mm}] (2A2) -- (2dum2);
\draw[-] (2A3.west) -- +(-1.2, -1.2) -- +(1.55, -1.2) -- (2A3.east);
\end{scope}
\end{tikzpicture}
\begin{tikzpicture}[->, >=stealth', shorten >=1pt, auto, node distance=2.8cm, semithick]
\node[initial, initial text=, state] (0) at (0, 0) {$q_0$};
\node[state] (1) at (2.5, 0) {$q_1$};
\node[state, accepting] (2) at (5, 0) {$q_2$};
\path (0) edge[loop above] node[align=center] {$a, Z / ZZ$, \\ $a, \bot / Z\bot$} (0)
(0) edge node[align=center] {$\varepsilon, Z / Z$ \\ $\varepsilon, \bot / \bot$} (1)
(1) edge[loop above] node {$b, Z / \varepsilon$} (1)
(1) edge node {$\varepsilon, \bot / \bot$} (2);
\end{tikzpicture}
No preview for this file type
This diff is collapsed.
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment