6_2

\documentclass{article}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[polish]{babel}
\usepackage{times}
\usepackage{color}
\definecolor{lightred}{RGB}{249,145,145}
\usepackage{algorithm}
\usepackage{algpseudocode}
\usepackage{amsmath}
\usepackage{amssymb}


\begin{document}


\begin{algorithmic}

    \State $\triangleright$ \verb!ASSIGN!
    \State $\triangleright$ \verb!init(s) = s0;!
    \State $\triangleright$ \verb!next(s) := case!
    \ForAll{ $si \in s$}
        \ForAll{$tk \in T$}
            \State $V_si \overset{}{\longleftarrow} 0$
            \ForAll{$tk \in s$}
        \If{$(M_i, S_i)  \overset{tk}{\longrightarrow} (M_j, S_j)$}
        \State $V_ik \overset{}{\longleftarrow} V_ik \sum \{sj\} $
        \EndIf


\end{algorithmic}



\end{document}