% 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_14)                 {$s_{1,4}$};
    \node[state]           (s_12) [right=of s_14] {$s_{1,2}$};
    \node[state]           (s_13) [right=of s_12] {$s_{1,3}$};
    \node[state]           (s_1)  [above=of s_12] {$s_{1}$};
    \node[state,accepting] (s_45) [below=of s_14] {$s_{4,5}$};
    \node[state,accepting] (s_5)  [below=of s_13] {$s_5$};
    \node[state]           (s_3)  [below=of s_5]  {$s_3$};
    \node[state]           (s_2)  [left=of s_3] {$s_2$};

    \path[->]
        (s_14) edge             node        {a} (s_1)
        (s_14) edge             node        {b} (s_12)
        (s_14) edge             node        {c} (s_45)
        (s_12) edge[bend left]  node        {a} (s_13)
        (s_12) edge[loop below] node        {b} ()
        (s_12) edge             node[left]  {c} (s_5)
        (s_13) edge             node[right] {a} (s_1)
        (s_13) edge[bend left]  node[above] {b} (s_12)
        (s_1)  edge[loop above] node        {a} ()
        (s_1)  edge             node        {b} (s_12)
        (s_45) edge             node        {b} (s_2)
        (s_45) edge[loop left]  node        {c} ()
        (s_3)  edge[bend left]  node[above] {b} (s_2)
        (s_2)  edge[bend left]  node        {a} (s_3)
        (s_2)  edge             node        {c} (s_5);
\end{tikzpicture}