% Dieses Dokument ist in der Zusammenarbeit von angehenden und
% ausgebildeten Informatiklehrkräften entstanden.
% Der Herausgeber dieses Dokuments ist die Fachgruppe Informatische
% Bildung in NRW der Gesellschaft für Informatik.
%
% Das Dokument steht unter der Lizenz: Creative Commons by-sa Version 4.0
% https://creativecommons.org/licenses/by-sa/4.0/deed.de
%
% Nach dieser Lizenz darf das Dokument beliebig kopiert und bearbeitet werden,
% sofern das Folgeprodukt wiederum unter gleichen Lizenzbedingungen vertrieben
% und auf die ursprünglichen Urheber verwiesen wird.
%
% Die Namensnennung durch einen Verweis und die Lizenzangabe der ursprünglichen
% Urheber auf den Materialien für Schülerinnen und Schüler ist erforderlich.
%
% Die Sammlung der Dokumente steht unter
% https://matsam.fg-ibn.gi.de
% zur Verfügung.
%
% Das LaTeX-Paket zum Setzen der Dokumente der Sammlung steht
% unter https://www.ctan.org/pkg/schule
% zur Verfügung.

\begin{tikzpicture}[shorten >=1pt,node distance=2cm,on grid,auto]
    \node[state,initial]  (s_1)                {$s_1$};
    \node[state]          (s_2) [right=of s_1] {$s_2$};
    \node[state]          (s_3) [right=of s_2] {$s_3$};
    \node[state,initial]  (s_4) [below=of s_1] {$s_4$};
    \node[state,accepting](s_5) [right=of s_4] {$s_5$};

    \path[->]
        (s_1) edge[loop above] node {a,b} ()
        (s_1) edge             node {b}   (s_2)
        (s_2) edge[bend left]  node {a}   (s_3)
        (s_2) edge             node {c}   (s_5)
        (s_3) edge[bend left]  node {b}   (s_2)
        (s_4) edge             node {b}   (s_2)
        (s_4) edge[loop below] node {c}   ()
        (s_4) edge             node {c}   (s_5);
\end{tikzpicture}