\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{pgf, tikz}
\usetikzlibrary{arrows , automata , positioning}
\begin{document}

\begin{center}
\begin{tikzpicture}[>=stealth',shorten >=1pt,auto,node distance=2.5cm]
%Knoten
\node (1) [state, thick] {1};
\node (2) [state, thick, right of= 1] {2};
\node (3) [state, thick, above of= 2, right of= 2] {3};
\node (4) [state, thick, above of= 3, right of= 1] {4};

%Verbindungen
\path[thick,->]
(1) edge [bend angle=25, bend left,above] node {0/1} (4)
(1) edge [bend angle=49, bend left,above] node {1/0} (4)
(2) edge [bend angle=20, bend right,above] node {0/0} (1)
(2) edge [loop] node {1/0} (2)
(3) edge [loop] node {0/1} (3)
(3) edge [bend angle=75, bend left,below] node {1/1} (1)
(4) edge [bend angle=45, bend right,above] node {0/1} (2)
(4) edge [bend angle=116, bend left,below] node {1/1} (3)
;
\end{tikzpicture}
\end{center}
\begin{center}
\begin{tabular}{|l|l|l|l||l|l|l|l|}
\hline
Zustand & Eingabe & Ausgabe & Folgezustand & \multicolumn{4}{|l|}{Codefolgezustand}\\
\hline
& & & & \verb"z3+" &  \verb"z2+" &  \verb"z1+" &  \verb"z0+"\\
\hline
\verb"z1" & \verb"0" &  \verb"1" & \verb"z4" & \verb"1"  & \verb"0"  & \verb"0"  & \verb"0"\\
\verb"z1" & \verb"1" &  \verb"0" & \verb"z4" & \verb"1"  & \verb"0"  & \verb"0"  & \verb"0"\\
\verb"z2" & \verb"0" &  \verb"0" & \verb"z1" & \verb"0"  & \verb"0"  & \verb"0"  & \verb"1"\\
\verb"z2" & \verb"1" &  \verb"0" & \verb"z2" & \verb"0"  & \verb"0"  & \verb"1"  & \verb"0"\\
\verb"z3" & \verb"0" &  \verb"1" & \verb"z3" & \verb"0"  & \verb"1"  & \verb"0"  & \verb"0"\\
\verb"z3" & \verb"1" &  \verb"1" & \verb"z1" & \verb"0"  & \verb"0"  & \verb"0"  & \verb"1"\\
\verb"z4" & \verb"0" &  \verb"1" & \verb"z2" & \verb"0"  & \verb"0"  & \verb"1"  & \verb"0"\\
\verb"z4" & \verb"1" &  \verb"1" & \verb"z3" & \verb"0"  & \verb"1"  & \verb"0"  & \verb"0"\\
\hline
\end{tabular}
\end{center}
\begin{center}
\begin{verbatim}
z1+ := z2 and x or z3 and not x or  true;
z2+ := z2 and not x or z4 and x or  true;
z3+ := z3 and x or z4 and not x or  true;
z4+ := z1 and x or z1 and not x or  true;
\end{verbatim}
\end{center}
\end{document}
