プログラミング言語の形式的意味論入門を買った

日記 Semantics 書評

プログラミング言語の形式的意味論入門 を買いました。
表紙に書いてありますが The Formal Semantics of Programming Languages: an Introduction という洋書の和訳です。
多分途中で挫折しますが、とりあえず頭から眺めてみようと思います。

エラッタ

見つけた(気がする)ヤツはここにメモしていこうと思います。

  • p.22 末尾
    • 誤: b_{0}\land{}b_{1}\to{false}
    • 正: b_{0}\land{}b_{1}\to{true}
  • p.25 中央
    • 誤: 状態を変えずにすぐ停止しするだろう
    • 正: 状態を変えずにすぐ停止するだろう
  • p.29
    • 誤: を得た後に、左側の部分式を評価し、
    • 正: を得た後に、右側の部分式を評価し、
  • p.29
    • 誤: 1ステップの実行の結果状態がσに変化し
    • 正: 1ステップの実行の結果状態がσ'に変化し
  • p.37
    • 誤: ただし、 m = m0' + m1'
    • 正: ただし、 m' = m0' + m1'
  • p.41
    • 誤: \sigma{}[n-m/N] m\lt{}n のとき
    • 正: \sigma{}[m-n/M] n\gt{}m のとき
  • p.41
    • 誤: \langle{}Euclid,\sigma{}''\rangle{}\to{\sigma{}''} となる \sigma{}'' が存在する
    • 正: \langle{}Euclid,\sigma{}''\rangle{}\to{\sigma{}'} となる \sigma{}' が存在する
  • p.43 末尾のステートメントが理解出来ないけど少なくとも何かは間違っている気がする…
    • 誤: d\vDash \langle{}c,\sigma{}\rangle{}\to\sigma{} かつ \vDash \langle c,\sigma_{0}\rangle\to \sigma_{1}
    • 正: d\vDash \langle{}c,\sigma{}\rangle{}\to\sigma{} かつ d\vDash \langle c,\sigma_{0}\rangle\to \sigma_{1}

あるいは d\vDash \langle{}c,\sigma{}\rangle{}\to\sigma{}\ かつ\ \langle c,\sigma_{0}\rangle\to \sigma_{1} …かな？

  • p.46
    • 誤: 最小の導出 d が存在して \exists\sigma,\sigma'\in\Sigma.\ \vDash\langle w,\sigma\rangle\to\sigma'
    • 正: 最小の導出 d が存在して \exists\sigma,\sigma'\in\Sigma.d\vDash\langle w,\sigma\rangle\to\sigma'
  • p.46
    • 誤: 真部分導出として d’\vDash\langle w,\sigma\rangle\to\sigma’
    • 正: 真部分導出として d’\vDash\langle w,\sigma''\rangle\to\sigma’