gistfile1.tex

\usepackage{algorithm}
\usepackage{algorithmic}
\usepackage{amssymb}

\algsetup{indent=2em}
\newcommand{\factorial}{\ensuremath{\mbox{\sc Factorial}}}
\newcommand{\emit}{\ensuremath{\mbox{\sc Emit}}}

\begin{algorithm}[h!] \caption{$\factorial(n)$}\label{alg:factorial} \begin{algorithmic}[1]
\REQUIRE An integer $n \geq 0$. \ENSURE The value of $n!$.
\medskip
\FORALL{$\langle i,spoc \rangle \in \lbrack \langle i_0,spoc_0 \rangle \dots \langle i_n,spoc_n \rangle \rbrack$}
\STATE $\emit(\langle o,0 \rangle, 1)$
\STATE $\emit(\langle o,1 \rangle, s)$
\ENDFOR
\end{algorithmic}
\end{algorithm}

\algsetup{indent=2em}
\begin{algorithm}[h!] \caption{$\factorial(n)$}\label{alg:factorial2} \begin{algorithmic}[1]
\REQUIRE An integer $n \geq 0$. \ENSURE The value of $n!$.
\medskip
\FORALL{$\langle s \rangle \in \lbrack s_0 \dots s_n \rbrack$}
\IF {$s \in \mathbb N$} \STATE $sum += s$
\ELSE \STATE $\emit(s, \langle o,sum \rangle)$
\ENDIF
\ENDFOR
\end{algorithmic}
\end{algorithm}