45ページ 5行目(表4.1，3項目目の第一カラム)

誤：

$r$*

正：

$r$*

46ページ 19行目

誤：

$L(D)=\{w|\widehat{\delta }(w,q{}_0)\in F\}$

正：

$L(D)=\{w|\widehat{\delta }(q{}_0,w)\in F\}$

47ページ 9行目

誤：

そのようなアリゴリズムを

正：

そのようなアルゴリズムを

49ページ 8行目

誤：

$𝒫(Q)\times 𝒫(\mathrm{\Sigma }\times 𝒫(Q))$を要素とする集合

正：

$𝒫(Q)\times 𝒫(\mathrm{\Sigma }\times 𝒫(Q))$の部分集合

49ページ 16行目

誤：

最終状態をひとつだけ持つ$N{}_r$

正：

受理状態をひとつだけ持つ$N{}_r$

50ページ 14, 15, 17行目

誤：

let	$(𝒬{}_1{}^1,\mathrm{\Omega }{}^1)$	$=$ addS $(A,s{}_1)$ $(𝒬{}_1,𝒬{}_2,\mathrm{\varnothing }))$
	$(𝒬{}_1{}^2,\mathrm{\Omega }{}^2)=$ addS $(A,s{}_2)$ $(𝒬{}_1{}^1,𝒬{}_2,\mathrm{\Omega }{}^1))$
		$\mathrm{\cdots }$
	$(𝒬{}_1{}^n,\mathrm{\Omega }{}^n)=$ addS $(A,s{}_n)$ $(𝒬{}_1{}^{n-1},𝒬{}_2,\mathrm{\Omega }{}^{n-1}))$

正：

let	$(𝒬{}_1{}^1,\mathrm{\Omega }{}^1)$	$=$ addS $(A,s{}_1)$ $(𝒬{}_1,𝒬{}_2,\mathrm{\varnothing })$
	$(𝒬{}_1{}^2,\mathrm{\Omega }{}^2)=$ addS $(A,s{}_2)$ $(𝒬{}_1{}^1,𝒬{}_2,\mathrm{\Omega }{}^1)$
		$\mathrm{\cdots }$
	$(𝒬{}_1{}^n,\mathrm{\Omega }{}^n)=$ addS $(A,s{}_n)$ $(𝒬{}_1{}^{n-1},𝒬{}_2,\mathrm{\Omega }{}^{n-1})$

50ページ 20行目

誤：

subsets $(\{A\}\cup 𝒬{}_1,𝒬{}_2,\mathrm{\Delta })=$ subsets (addQ $A$ $(𝒬{}_1,𝒬{}_2,\mathrm{\Delta }))$)

正：

subsets $(\{A\}\uplus 𝒬{}_1,𝒬{}_2,\mathrm{\Delta })=$ subsets (addQ $A$ $(𝒬{}_1,𝒬{}_2,\mathrm{\Delta })$)

50ページ 24行目

誤：

$ℱ=\{Q|A\in 𝒬,A\cap F\ne \mathrm{\varnothing }\}$

正：

$ℱ=\{A{}^{\prime }|A{}^{\prime }\in 𝒬,A{}^{\prime }\cap F\ne \mathrm{\varnothing }\}$

50ページ 26行目

追加：

注：subsetsでの$\{A\}\uplus Q{}_1$は，集合から要素$A$を取り出し残りを$Q{}_1$とする操作を表す．

51ページ 10行目

誤：

$N{}_{r{}_{1}r{}_2}=(Q{}_1\cup Q{}_2\cup \{p,q\},\mathrm{\Sigma },$

正：

$N{}_{r{}_1|r{}_2}=(Q{}_1\cup Q{}_2\cup \{p,q\},\mathrm{\Sigma },$

51ページ 19行目

誤：

$L(N{}_{r{}_1*})=(L(r{}_1)){}^{*}=[[r{}_1]]{}^{*}$

正：

$L(N{}_{r{}_1*})=(L(N{}_{r{}_1})){}^{*}=[[r{}_1]]{}^{*}$

53ページ 18行目,補助定義セクション４行目

誤：

id = alpha(alpha|digit)*^(セミコロンヌケ)

正：

id = alpha(alpha|digit)*;

54ページ 19行目

誤：

wsおよびeolに対する

正：

wsに対する

56ページ 7行目(表の5行目)

誤：

Tokens

正：

Token