Commit cda3f3d5 authored by Niklas Rieken's avatar Niklas Rieken

started Minimization section, up to refinement of equivalence relations

parent 3a782922
\begin{tikzpicture}[->, >=stealth', shorten >=1pt, auto, node distance=2.8cm, semithick, every state/.style={inner sep=0pt, minimum size=20pt}]
\node[initial, initial text=, state] (0) at (0, 0) {$q_0$};
\node[state, accepting] (1) at (2, 0) {$q_1$};
\path (0) edge[loop above] node {$a$} (0)
(0) edge node {$a$} (1);
\end{tikzpicture}
\ No newline at end of file
\begin{tikzpicture}[->, >=stealth', shorten >=1pt, auto, node distance=2.8cm, semithick, every state/.style={inner sep=0pt, minimum size=20pt}]
\node[initial, initial text=, state] (0) at (0, 0) {$q_0$};
\node[state, accepting] (1) at (2, 0) {$q_1$};
\path (0) edge node {$a$} (1)
(1) edge[loop above] node {$a$} (1);
\end{tikzpicture}
\ No newline at end of file
\begin{tikzpicture}[->, >=stealth', shorten >=1pt, auto, node distance=2.8cm, semithick, every state/.style={inner sep=0pt, minimum size=20pt}]
\node[initial, initial text=, state] (0) at (0, 0) {$q_0$};
\node[state, accepting] (1) at (2, 0) {$q_1$};
\path (0) edge[loop above] node {$a$} (0)
(0) edge node {$a$} (1)
(1) edge[loop above] node {$a$} (1);
\end{tikzpicture}
\ No newline at end of file
\begin{tikzpicture}[->, >=stealth', shorten >=1pt, auto, node distance=2.8cm, semithick, every state/.style={inner sep=0pt, minimum size=20pt}]
\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 (0, -2.5) {$q_2$};
\node[state, accepting] (3) at (2.5, -2.5) {$q_3$};
\path (0) edge node[left] {$a$} (2)
(0) edge node {$b$} (1)
(1) edge node[below right, pos=.7] {$a$} (2)
(1) edge node {$b$} (3)
(2) edge[loop left] node {$a, b$} (2)
(3) edge node {$a$} (2)
(3) edge node[above right, pos=.7] {$b$} (0);
\end{tikzpicture}
\ No newline at end of file
\begin{tikzpicture}[->, >=stealth', shorten >=1pt, auto, node distance=2.8cm, semithick, every state/.style={inner sep=0pt, minimum size=20pt}]
\node[initial, initial text=, state] (0) at (0, 0) {$q_0^\prime$};
\node[state, accepting] (1) at (0, -1.5) {$q_1^\prime$};
\node[state] (2) at (-1.5, -3) {$q_2^\prime$};
\node[state, accepting] (3) at (1.5, -3) {$q_3^\prime$};
\path (0) edge[bend left] node {$a$} (3)
(0) edge[bend right] node[above left] {$b$} (2)
(1) edge node {$a$} (3)
(1) edge node {$b$} (0)
(2) edge node {$a$} (3)
(2) edge node {$b$} (1)
(3) edge[loop right] node {$a, b$} (3);
\end{tikzpicture}
\ No newline at end of file
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