\documentclass{article}
\usepackage{tikz}
\usetikzlibrary{automata, positioning}
\begin{document}

\begin{tikzpicture}[shorten >=1pt, node distance=2.2cm, on grid, auto] 

    % Определение состояний
    \node[state] (s0) {S0: 0}; 
    \node[state] (s1) [right=of s0] {S1: 0}; 
    \node[state] (s2) [right=of s1] {S2: 0}; 
    \node[state] (s3) [right=of s2] {S3: 0}; 
    \node[state] (s4) [right=of s3] {S4: 0}; 
    \node[state, accepting] (s5) [right=of s4] {S5: 1};

    % Определение переходов
    \path[->] 
	(s0)
	edge node {1} node [below] {..1} (s1)
	edge [loop above] node {0} (s0)
	(s1)
	edge node {1} node [below] {..11} (s2)
	edge [bend left] node [below] {0} (s0)
	(s2)
	edge node {0} node [below] {..110} (s3)
	edge [loop above] node {1} (s2)
	(s3)
	edge node {1} node [below] {..1101} (s4)
	edge [bend left=40] node [below] {0} (s0)
	(s4)
	edge node {1} node [below] {..11011} (s5)
	edge [bend right=40] node [above] {0} (s0)
	(s5)
	edge [loop above] node {0, 1} (s5);

\end{tikzpicture}

\end{document}
