コンパイラ – 原理と構造 – 初版正誤表

第 8 章機械語コードへのコンパイル

81.

158ページ 11行目

誤：

ラムダ式

正：

ラムダ計算
82.

158ページ (12行目)

誤：

ラムダ式

正：

ラムダ計算
83.

158ページ 23行目

誤：

$c$

正：

$[\![c]\!]$
84.

160ページ 2行目(Acc( $x$ )規則)

誤：

$(S,\ E\{x:v\},\ \mbox{\frenchspacing Acc}(x)::C,\ D)\Longrightarrow(v::S,\ {% \color[rgb]{1,0,0}E},\ C,\ D)$

正：

$(S,\ E\{x:v\},\ \mbox{\frenchspacing Acc}(x)::C,\ D)\Longrightarrow(v::S,\ {% \color[rgb]{0,0,1}E\{x:v\}},\ C,\ D)$
85.

160ページ 6行目

誤：

$\Longrightarrow(S,\ E_{0}\{x:{\color[rgb]{1,0,0}v_{0}}\},\ C_{0},\ (E,C)::D)$

正：

$\Longrightarrow(S,\ E_{0}\{x:{\color[rgb]{1,0,0}v_{1}}\},\ C_{0},\ (E,C)::D)$
86.

160ページ 8行目

誤：

$\Longrightarrow(S,\ E_{0}\{f:Rec(E_{0},f,x,C_{0}),x:{\color[rgb]{1,0,0}v_{0}}% \},\ C_{0},\ (E,C)::D)$

正：

$\Longrightarrow(S,\ E_{0}\{f:Rec(E_{0},f,x,C_{0}),x:{\color[rgb]{0,0,1}v_{1}}% \},\ C_{0},\ (E,C)::D)$

87.

161ページ 2-7行目

誤：

$\displaystyle({\color[rgb]{1,0,0}\emptyset},\ \ {\color[rgb]{1,0,0}\emptyset},% \ \ \mbox{\frenchspacing Push}(1)::\mbox{\frenchspacing Push}(2)::\mbox{% \frenchspacing Prim}(\mbox{\frenchspacing{\color[rgb]{1,0,0}Add}})::\mbox{% \frenchspacing Push}(2)::\mbox{\frenchspacing Prim}(\mbox{\frenchspacing{% \color[rgb]{1,0,0}Sub}})::{\color[rgb]{1,0,0}\emptyset},\ \ {\color[rgb]{1,0,0% }\emptyset})$

	$\displaystyle\Longrightarrow$	$\displaystyle(1::{\color[rgb]{1,0,0}\emptyset},\ {\color[rgb]{1,0,0}\emptyset}% ,\ \mbox{\frenchspacing Push}(2)::\mbox{\frenchspacing Prim}(\mbox{% \frenchspacing{\color[rgb]{1,0,0}Add}})::\mbox{\frenchspacing Push}(2)::\mbox{% \frenchspacing Prim}(\mbox{\frenchspacing{\color[rgb]{1,0,0}Sub}})::{\color[% rgb]{1,0,0}\emptyset},\ \ {\color[rgb]{1,0,0}\emptyset})$
	$\displaystyle\Longrightarrow$	$\displaystyle(2::1::{\color[rgb]{1,0,0}\emptyset},\ {\color[rgb]{1,0,0}% \emptyset},\ \mbox{\frenchspacing Prim}(\mbox{\frenchspacing{\color[rgb]{1,0,0% }Add}})::\mbox{\frenchspacing Push}(2)::\mbox{\frenchspacing Prim}(\mbox{% \frenchspacing{\color[rgb]{1,0,0}Sub}})::{\color[rgb]{1,0,0}\emptyset},\ {% \color[rgb]{1,0,0}\emptyset})$
	$\displaystyle\Longrightarrow$	$\displaystyle(3::{\color[rgb]{1,0,0}\emptyset},\ {\color[rgb]{1,0,0}\emptyset}% ,\ \mbox{\frenchspacing Push}(2)::\mbox{\frenchspacing Prim}(\mbox{% \frenchspacing{\color[rgb]{1,0,0}Sub}})::{\color[rgb]{1,0,0}\emptyset},\ {% \color[rgb]{1,0,0}\emptyset})$
	$\displaystyle\Longrightarrow$	$\displaystyle(2::3::{\color[rgb]{1,0,0}\emptyset},\ {\color[rgb]{1,0,0}% \emptyset},\ \mbox{\frenchspacing Prim}(\mbox{\frenchspacing{\color[rgb]{1,0,0% }Sub}})::{\color[rgb]{1,0,0}\emptyset},\ {\color[rgb]{1,0,0}\emptyset})$
	$\displaystyle\Longrightarrow$	$\displaystyle(1::{\color[rgb]{1,0,0}\emptyset},\ {\color[rgb]{1,0,0}\emptyset}% ,\ {\color[rgb]{1,0,0}\emptyset},\ {\color[rgb]{1,0,0}\emptyset})$

正：

$\displaystyle({\color[rgb]{0,0,1}nil},\ \ {\color[rgb]{0,0,1}nil},\ \ \mbox{% \frenchspacing Push}(1)::\mbox{\frenchspacing Push}(2)::\mbox{\frenchspacing Prim% }(\mbox{\frenchspacing{\color[rgb]{0,0,1}add}})::\mbox{\frenchspacing Push}(2)% ::\mbox{\frenchspacing Prim}(\mbox{\frenchspacing{\color[rgb]{0,0,1}sub}})::{% \color[rgb]{0,0,1}nil},\ \ {\color[rgb]{0,0,1}nil})$

	$\displaystyle\Longrightarrow$	$\displaystyle(1::{\color[rgb]{0,0,1}nil},\ {\color[rgb]{0,0,1}nil},\ \mbox{% \frenchspacing Push}(2)::\mbox{\frenchspacing Prim}(\mbox{\frenchspacing{% \color[rgb]{0,0,1}add}})::\mbox{\frenchspacing Push}(2)::\mbox{\frenchspacing Prim% }(\mbox{\frenchspacing{\color[rgb]{0,0,1}sub}})::{\color[rgb]{0,0,1}nil},\ \ {% \color[rgb]{0,0,1}nil})$
	$\displaystyle\Longrightarrow$	$\displaystyle(2::1::{\color[rgb]{0,0,1}nil},\ {\color[rgb]{0,0,1}nil},\ \mbox{% \frenchspacing Prim}(\mbox{\frenchspacing{\color[rgb]{0,0,1}add}})::\mbox{% \frenchspacing Push}(2)::\mbox{\frenchspacing Prim}(\mbox{\frenchspacing{% \color[rgb]{0,0,1}sub}})::{\color[rgb]{0,0,1}nil},\ {\color[rgb]{0,0,1}nil})$
	$\displaystyle\Longrightarrow$	$\displaystyle(3::{\color[rgb]{0,0,1}nil},\ {\color[rgb]{0,0,1}nil},\ \mbox{% \frenchspacing Push}(2)::\mbox{\frenchspacing Prim}(\mbox{\frenchspacing{% \color[rgb]{0,0,1}sub}})::{\color[rgb]{0,0,1}nil},\ {\color[rgb]{0,0,1}nil})$
	$\displaystyle\Longrightarrow$	$\displaystyle(2::3::{\color[rgb]{0,0,1}nil},\ {\color[rgb]{0,0,1}nil},\ \mbox{% \frenchspacing Prim}(\mbox{\frenchspacing{\color[rgb]{0,0,1}sub}})::{\color[% rgb]{0,0,1}nil},\ {\color[rgb]{0,0,1}nil})$
	$\displaystyle\Longrightarrow$	$\displaystyle(1::{\color[rgb]{0,0,1}nil},\ {\color[rgb]{0,0,1}nil},\ {\color[% rgb]{0,0,1}nil},\ {\color[rgb]{0,0,1}nil})$

88.

161ページ 9-14行目

誤：

$\displaystyle({\color[rgb]{1,0,0}\emptyset},\ {\color[rgb]{1,0,0}\emptyset},\ % \mbox{\frenchspacing Push}(1)::\mbox{\frenchspacing Push}(2)::\mbox{% \frenchspacing Pair}::\mbox{\frenchspacing Push}(3)::\mbox{\frenchspacing Pair% }::{\color[rgb]{1,0,0}\emptyset},\ \ {\color[rgb]{1,0,0}\emptyset})$

	$\displaystyle\Longrightarrow$	$\displaystyle(1::{\color[rgb]{1,0,0}\emptyset},\ {\color[rgb]{1,0,0}\emptyset}% ,\ \mbox{\frenchspacing Push}(2)::\mbox{\frenchspacing Pair}::\mbox{% \frenchspacing Push}(3)::\mbox{\frenchspacing Pair}::{\color[rgb]{1,0,0}% \emptyset},\ \ {\color[rgb]{1,0,0}\emptyset})$
	$\displaystyle\Longrightarrow$	$\displaystyle(2::1::{\color[rgb]{1,0,0}\emptyset},\ {\color[rgb]{1,0,0}% \emptyset},\ \mbox{\frenchspacing Pair}::\mbox{\frenchspacing Push}(3)::\mbox{% \frenchspacing Pair}::{\color[rgb]{1,0,0}\emptyset},\ {\color[rgb]{1,0,0}% \emptyset})$
	$\displaystyle\Longrightarrow$	$\displaystyle((1,2)::{\color[rgb]{1,0,0}\emptyset},\ {\color[rgb]{1,0,0}% \emptyset},\ \mbox{\frenchspacing Push}(3)::\mbox{\frenchspacing Pair}::{% \color[rgb]{1,0,0}\emptyset},\ {\color[rgb]{1,0,0}\emptyset})$
	$\displaystyle\Longrightarrow$	$\displaystyle(3::(1,2)::{\color[rgb]{1,0,0}\emptyset},\ {\color[rgb]{1,0,0}% \emptyset},\ \mbox{\frenchspacing Pair}::{\color[rgb]{1,0,0}\emptyset},\ {% \color[rgb]{1,0,0}\emptyset})$
	$\displaystyle\Longrightarrow$	$\displaystyle(((1,2),3)::{\color[rgb]{1,0,0}\emptyset},\ {\color[rgb]{1,0,0}% \emptyset},\ {\color[rgb]{1,0,0}\emptyset},\ {\color[rgb]{1,0,0}\emptyset})$

正：

$\displaystyle({\color[rgb]{0,0,1}nil},\ {\color[rgb]{0,0,1}nil},\ \mbox{% \frenchspacing Push}(1)::\mbox{\frenchspacing Push}(2)::\mbox{\frenchspacing Pair% }::\mbox{\frenchspacing Push}(3)::\mbox{\frenchspacing Pair}::{\color[rgb]{% 0,0,1}nil},\ \ {\color[rgb]{0,0,1}nil})$

	$\displaystyle\Longrightarrow$	$\displaystyle(1::{\color[rgb]{0,0,1}nil},\ {\color[rgb]{0,0,1}nil},\ \mbox{% \frenchspacing Push}(2)::\mbox{\frenchspacing Pair}::\mbox{\frenchspacing Push% }(3)::\mbox{\frenchspacing Pair}::{\color[rgb]{0,0,1}nil},\ \ {\color[rgb]{% 0,0,1}nil})$
	$\displaystyle\Longrightarrow$	$\displaystyle(2::1::{\color[rgb]{0,0,1}nil},\ {\color[rgb]{0,0,1}nil},\ \mbox{% \frenchspacing Pair}::\mbox{\frenchspacing Push}(3)::\mbox{\frenchspacing Pair% }::{\color[rgb]{0,0,1}nil},\ {\color[rgb]{0,0,1}nil})$
	$\displaystyle\Longrightarrow$	$\displaystyle((1,2)::{\color[rgb]{0,0,1}nil},\ {\color[rgb]{0,0,1}nil},\ \mbox% {\frenchspacing Push}(3)::\mbox{\frenchspacing Pair}::{\color[rgb]{0,0,1}nil},% \ {\color[rgb]{0,0,1}nil})$
	$\displaystyle\Longrightarrow$	$\displaystyle(3::(1,2)::{\color[rgb]{0,0,1}nil},\ {\color[rgb]{0,0,1}nil},\ % \mbox{\frenchspacing Pair}::{\color[rgb]{0,0,1}nil},\ {\color[rgb]{0,0,1}nil})$
	$\displaystyle\Longrightarrow$	$\displaystyle(((1,2),3)::{\color[rgb]{0,0,1}nil},\ {\color[rgb]{0,0,1}nil},\ {% \color[rgb]{0,0,1}nil},\ {\color[rgb]{0,0,1}nil})$

89.

161ページ 16行目(説明を追加)

誤：

$\mbox{\frenchspacing If}(C_{1},C_{2})$ 命令は，スタックトップの値を引数として取り，その値が $\mathit{true}$ ならコード $C_{1}$ を， $\mathit{false}$ ならコード $C_{2}$ を実行する．

正：

$\mbox{\frenchspacing If}(C_{1},C_{2})$ 命令は，スタックトップの値が $\mathit{true}$ ならコード $C_{1}$ を， $\mathit{false}$ ならコード $C_{2}$ を実行する．ここでの表記 $C_{1}@C$ は， $C_{1}$ と $C$ の連結を表す．
90.

163ページ 9行目

誤：

$\Longrightarrow(1::2::\emptyset,\ \{\mbox{\frenchspacing x}:{\color[rgb]{1,0,0% }1}\},\ \mbox{\frenchspacing Prim}(\mbox{\frenchspacing Add})::\mbox{% \frenchspacing Ret}::\emptyset,$

正：

$\Longrightarrow(1::2::\emptyset,\ \{\mbox{\frenchspacing x}:{\color[rgb]{0,0,1% }2}\},\ \mbox{\frenchspacing Prim}(\mbox{\frenchspacing Add})::\mbox{% \frenchspacing Ret}::\emptyset,$
91.

163ページ 11行目

誤：

$\Longrightarrow(3::\emptyset,\ \{\mbox{\frenchspacing x}:{\color[rgb]{1,0,0}1}% \},\ \mbox{\frenchspacing Ret}::\emptyset,\ \ (\emptyset,\mbox{\frenchspacing Push% }(3)::\mbox{\frenchspacing Prim}(\mbox{\frenchspacing Add})::\emptyset)::\emptyset)$

正：

$\Longrightarrow(3::\emptyset,\ \{\mbox{\frenchspacing x}:{\color[rgb]{0,0,1}2}% \},\ \mbox{\frenchspacing Ret}::\emptyset,\ \ (\emptyset,\mbox{\frenchspacing Push% }(3)::\mbox{\frenchspacing Prim}(\mbox{\frenchspacing Add})::\emptyset)::\emptyset)$
92.

165ページ 14行目

誤：

${\color[rgb]{1,0,0}\overline{c}=c}$

正：

${\color[rgb]{0,0,1}\overline{[\![c]\!]}=[\![c]\!]}$
93.

166ページ 13行目

誤：

$v=Cls(E,x,{\color[rgb]{1,0,0}e})$

正：

$v=Cls(E,x,{\color[rgb]{0,0,1}e_{1}})$
94.

169ページ 4,５行目(２箇所)

誤：

${\color[rgb]{1,0,0}(}\mbox{\frenchspacing Proj1}::K{\color[rgb]{1,0,0})}$

正：

$\mbox{\frenchspacing Proj1}::K$ （余分な括弧をトル）
95.

169ページ 6行目

誤：

${\color[rgb]{1,0,0}\stackrel{{\scriptstyle*}}{{\Longrightarrow}}}$

正：

${\color[rgb]{0,0,1}\Longrightarrow}$
96.

175ページ 10行目

誤：

fun f x = if eq(x,0) then 1 else mul(x, f sub(x,1));

正：

fun f x = if prim(eq, x, 0) then 1 else
prim(mul, x, f prim(sub, x, 1));
97.

175ページ 23行目(ページレイアウト維持のため)

誤：

Ret
]

正：

Ret ]

第 8 章 機械語コードへのコンパイル

第 8 章機械語コードへのコンパイル