PLCC книга. стр. 23. Является ли это опечаткой и следует заменить сигма сигма-прайм?

Question

В программировании логик для сертифицированных составителей книги, на странице № 23, в выражении:

(v ≠ 0 ∧ ∃σ' ∃h∃t. σ = h · σ' ∧ v.head->h ∗ v.next->t ∗ listrep σ (t, 0)) 

мне кажется, что, так как σ представляет весь список V и σ»представляет хвост, последнее выражение должно быть: listrep σ' (t, 0). Это правильно, и это всего лишь опечатка в книге?

Answer 1

Да, вы правы; это должно быть сигма-простое.