% 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=3cm,on grid,auto]
    \node[state,initial]  (s_1)                   {$s_1$};
    \node[state]          (s_12)  [right=of s_1]  {$s_{1,2}$};
    \node[state]          (s_13)  [right=of s_12] {$s_{1,3}$};
    \node[state,accepting](s_125) [below=of s_12] {$s_{1,2,5}$};
    \node[state,accepting](s_124) [below=of s_13] {$s_{1,2,4}$};

    \path[->]
        (s_1)   edge             node        {1} (s_12)
        (s_1)   edge[loop below] node        {0} ()
        (s_12)  edge             node        {0} (s_13)
        (s_12)  edge             node        {1} (s_125)
        (s_13)  edge[bend right] node[above] {0} (s_1)
        (s_13)  edge[bend left]  node        {1} (s_124)
        (s_125) edge             node        {0} (s_13)
        (s_125) edge[loop left]  node        {1} ()
        (s_124) edge[bend left]  node        {0} (s_13)
        (s_124) edge             node        {1} (s_125);
\end{tikzpicture}