Изменения
→Операции сравнения
<tex> \mathrm{eq_0}(0) =\mathrm{N}(0) </tex>
<tex> \mathrm{eq_0}(y) = \mathrm{h}(y-1,\mathrm{eq}(y-1)) </tex> , где <tex> \mathrm{h}(y-1,\mathrm{eq}(y-1)) = \textbf 0^2mathrm{Z}(x,y-1) </tex>
Теперь все остальные функции