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

Question

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

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

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

Answer 1

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