63ページ 27行目

誤：

さらに，$w\in T$

正：

さらに，$w\in T{}^{*}$

68ページ 16行目

誤：

文法$G$がこの性質を満たすとき，$G$をLR(0)文法と呼ぶ．

正：

LR(0)文法は，この性質を満たす制限された文脈自由文法のクラスである．

68ページ 17行目

誤：

5.6節でLR(0)文法の別の定義を与える．

正：

5.6節でLR(0)文法の厳密な定義を与える．

69ページ 20行目

誤：

この性質を仮定しても一般性を失わない．

正：

不要な非終端記号は除去可能であり，除去しても生成する言語は変化しない．

69ページ 21,22行目

誤：

$G$に対して， $C{}_G$を受理する決定性有限状態オートマトンを構築することによって，定理5.1を証明する．

正：

決定性有限状態オートマトンが受理する言語はすべて正規言語であることが知られている． そこで，定理5.1を，$C{}_G$を受理する決定性有限状態オートマトンを構築することによって示す．

69ページ 22行目

誤：

すでに5.5節で

正：

すでに4.2節で

71ページ 8行目

誤：

もし $S\stackrel{*}{⟹}\alpha Aw{}_0⟹\alpha \beta w{}_0$なら $s\stackrel{\alpha \beta }{\to }[A\to \alpha \beta \cdot ]$である．

正：

もし $S\stackrel{*}{⟹{}_{rm}}\alpha Aw{}_0⟹{}_{rm}\alpha \beta w{}_0$なら $s\stackrel{\alpha \beta }{\to }[A\to \beta \cdot ]$である．

71ページ 9行目

誤：

$S\stackrel{*}{⟹}\alpha Aw{}_0$の繰り返し

正：

$S\stackrel{*}{⟹{}_{rm}}\alpha Aw{}_0$の繰り返し

72ページ 1行目

誤：

$\beta {}_1$を$ϵ$ととると．

正：

$\beta {}_2$を$ϵ$ととると．

73ページ 6行目

誤：

受理態状

正：

受理状態

76ページ 14行目

誤：

生成規則$S$を左辺とする

正：

開始記号$S$を左辺とする

77ページ 10行目

誤：

言語クラスLR(0)言語

正：

文法クラスLR(0)文法

78ページ 1行目(図5.3の1行目)

誤：

$v$

正：

$x$

81ページ 3行目

誤：

$\text{𝙰}\to \text{𝙰𝙰}$の各生成規則

正：

$\text{𝚂}\to \text{𝙰𝙰}$の各生成規則

84ページ 9行目

誤：

prim ($⟨prim⟩$, $⟨exp⟩$, $⟨exp⟩$)

正：

prim ($⟨prim⟩$, $⟨exp⟩$, $⟨exp⟩$)

85ページ 6行目(図5.8)

誤：

= EXPID of  string   (ofの後に余分な空白)

正：

= EXPID of string

85ページ 10行目(図5.8)

誤：

| EXPPRIM of prim *  exp * exp   (１つ目の*の後に余分な空白)

正：

| EXPPRIM of prim * exp * exp

87ページ 4行目

誤：

$⟨const⟩$

正：

$⟨n⟩$ | $⟨s⟩$ | true | false

87ページ 5行目

誤：

( $⟨exp⟩$ , $⟨exp⟩$ )  | ( $⟨exp⟩$)  | $⟨op⟩$ ( $⟨exp⟩$ , $⟨exp⟩$ )

正：

($⟨exp⟩$, $⟨exp⟩$)  | ($⟨exp⟩$)  | prim ($⟨prim⟩$, $⟨exp⟩$, $⟨exp⟩$)

89ページ 16行目

誤：

arg: arg (カンマヌケ)

正：

arg:arg,

90ページ 10行目

誤：

関数である．このように，

正：

関数集合を定義する．