PLCC書。第23頁。這是一個錯字，應該西格馬替代西格瑪？

Question

在編程邏輯的認證編譯器的書，對頁＃23，在表達：

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

在我看來，是因爲σ表示整個列表v和σ」代表的尾巴，最後一個表達式應該是：listrep σ' (t, 0)。這是否正確，這只是書中的印刷錯誤？

Answer 1

是的，你是對的;它應該是sigma-prime。