\documentclass[a4paper]{article}
\usepackage{progm}
\analpacks
\analoldal{2. feladatsor, 17. feladat}
\begin{document}
\noindent
\emph{Feladat:} Adjuk meg, hány olyan elem van az $x$ vektorban ami kisebb az indexénél!

\emph{Specifikáció:}\\
$\V = \vect(\Z, \Z)$ \\
$A = \alatt{\V}{v} \times \alatt{\N_0}{d}$\\
$B = \alatt{\V}{v'}$\\
$Q = ( v=v' )$\\
$R = ( Q \es d=\sum\limits_{i=x.lob}^{x.hib}(x[i]<i))$

Természetes visszavezetés számlálásra:

\begin{tabular}{cccr}
  feladat &  & számlálás \\
  \hline
  $x.lob$ & \knyil & $m$ \\
  $x.hib$ & \knyil & $n$ \\
  $x[i]<i$ & \knyil & $\beta(i)$
\end{tabular}

\begin{stuki}
  \stm{k,d:=x.lob-1,0}
  \begin{WHILE}{3}{\stm{k \ne x.hib}}
    \begin{IF}{1}{\stm{x[k+1]<k+1}}
      \stm{d:=d+1}
      \ELSE
      \SKIP
    \end{IF}
    \stm{k:=k+1}
  \end{WHILE}
\end{stuki}


\end{document}