第 5 章 構文解析
-
25.
63ページ 27行目
- 誤:
-
さらに,
- 正:
-
さらに,
-
-
26.
68ページ 16行目
- 誤:
-
文法がこの性質を満たすとき,をLR(0)文法と呼ぶ.
- 正:
-
LR(0)文法は,この性質を満たす制限された文脈自由文法のクラスである.
-
-
27.
68ページ 17行目
- 誤:
-
5.6節でLR(0)文法の別の定義を与える.
- 正:
-
5.6節でLR(0)文法の厳密な定義を与える.
-
-
28.
69ページ 20行目
- 誤:
-
この性質を仮定しても一般性を失わない.
- 正:
-
不要な非終端記号は除去可能であり,除去しても生成する言語は変化しない.
-
-
29.
69ページ 21,22行目
- 誤:
-
に対して, を受理する決定性有限状態オートマトンを構築することによって,定理5.1を証明する.
- 正:
-
決定性有限状態オートマトンが受理する言語はすべて正規言語であることが知られている. そこで,定理5.1を,を受理する決定性有限状態オートマトンを構築することによって示す.
-
-
30.
69ページ 22行目
- 誤:
-
すでに5.5節で
- 正:
-
すでに4.2節で
-
-
31.
71ページ 8行目
- 誤:
-
もし なら である.
- 正:
-
もし なら である.
-
-
32.
71ページ 9行目
- 誤:
-
の繰り返し
- 正:
-
の繰り返し
-
-
33.
72ページ 1行目
- 誤:
-
をととると.
- 正:
-
をととると.
-
-
34.
73ページ 6行目
- 誤:
-
受理態状
- 正:
-
受理状態
-
-
35.
76ページ 14行目
- 誤:
-
生成規則を左辺とする
- 正:
-
開始記号を左辺とする
-
-
36.
77ページ 10行目
- 誤:
-
言語クラスLR(0)言語
- 正:
-
文法クラスLR(0)文法
-
-
37.
78ページ 1行目(図5.3の1行目)
- 誤:
-
- 正:
-
-
-
38.
80ページ (節タイトル)
- 誤:
-
5.9 先読み文字によるアリゴリズムの改良
- 正:
-
5.9 先読み文字によるアルゴリズムの改良
-
-
39.
81ページ 3行目
- 誤:
-
の各生成規則
- 正:
-
の各生成規則
-
-
40.
81ページ (ページヘッダ)
- 誤:
-
5.9 先読み文字によるアリゴリズムの改良
- 正:
-
5.9 先読み文字によるアルゴリズムの改良
-
-
41.
84ページ 9行目
- 誤:
-
prim (, , )
- 正:
-
prim (, , )
-
-
42.
85ページ 6行目(図5.8)
- 誤:
-
= EXPID of string (ofの後に余分な空白)
- 正:
-
= EXPID of string
-
-
43.
85ページ 10行目(図5.8)
- 誤:
-
| EXPPRIM of prim * exp * exp (1つ目の*の後に余分な空白)
- 正:
-
| EXPPRIM of prim * exp * exp
-
-
44.
87ページ 4行目
- 誤:
-
- 正:
-
| | true | false
-
-
45.
87ページ 5行目
- 誤:
-
( , ) | ( ) | ( , )
- 正:
-
(, ) | () | prim (, , )
-
-
46.
89ページ 16行目
- 誤:
-
arg: arg (カンマヌケ)
- 正:
-
arg:arg,
-
-
47.
90ページ 10行目
- 誤:
-
関数である.このように,
- 正:
-
関数集合を定義する.
-