Изменения
→Псевдокод
for k = 1..M
for Rj -> alpha // перебор состояний
h[A->alpha, i, j+1, k] = VOR( for r = i..j+1) h[A->alpha, i, r, k-1] ^ & a[alpha[k],r,j+1]
for i = 1..n
for j = 1..n
for Rj -> alpha
a[A,i,j]=VOR(for A->alpha) h[A->alpha, i, j, |alpha|]
return a[S, 1, n]
