% 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,accepting]  (s_1)      {$s_1$};
    \node[state]          (s_2) [right=of s_1] {$s_2$};
    \node[state,accepting](s_3) [right=of s_2] {$s_3$};
    \node[state]          (s_4) [below=of s_2] {$s_4$};
    \node[state,accepting](s_5) [right=of s_4] {$s_5$};
    \node[state]          (s_6) [below=of s_5] {$s_6$};
    \node[state]          (s_7) [right=of s_5] {$s_7$};
    \path[->]
        (s_1) edge             node {a}   (s_2)
        (s_2) edge             node {a}   (s_3)
        (s_2) edge             node {b}   (s_4)
        (s_4) edge             node {c}   (s_5)
        (s_5) edge             node {c}   (s_3)
        (s_4) edge             node {b}   (s_6)
        (s_6) edge             node {c}   (s_7)
        (s_7) edge             node {c}   (s_3);
\end{tikzpicture}