$$\eqalign{
R^0_{ij} &= \cases{
\hbox{množina všech hran z~$i$ do~$j$} & \hbox{pokud $i\ne j$} \cr
- \varepsilon_i & \hbox{pokud $i=j$} \cr
+ \varepsilon_i \cup \hbox{všechny smyčky v~$i$} & \hbox{pokud $i=j$} \cr
} \cr
R^n_{ij} &= \hbox{hledané $R_{ij}$}, \cr
R^k_{ij} &= R^{k-1}_{ij} \cup R^{k-1}_{ik}(R^{k-1}_{kk})^*R^{k-1}_{kj}. \cr