正誤表

• ３６頁，下の注
  「（context-dependent grammar）」→「（context-sensitive grammar）」
  
  
• ６７頁，プログラムの下から５行

  「while (charClassT[ch]==digit) {」
  →
  「}
      while (charClassT[ch]==digit) {」

• ８４頁，上１５行
  「Director(A, α)はAをaに展開」→「Director(A, α)はAをαに展開」
  
  
• ８５頁，下１１行〜下８行
  「b)　A→αBβ（B∈VN）なる生成規則があればFirst(β)をFollow(B)に加え る．ただし，ε∈First(β)のときεは加えない．
  　c)　A→αBなる生成規則があるか，またはA→αBβなる生成規則がありε∈ First(β)ならば，Follow(A)をFollow(B)に加える．」
  →
  「b)　A→αBβ（B∈VN）なる生成規則について
  　(i) First(β)をFollow(B)に加える．ただし，ε∈First(β)のときεは加え ない．
  　(ii) ε∈First(β)，またはβ=εならば，Follow(A)をFollow(B)に加え る．」
  
  
• ９４頁，上１行目
  「より一般的には、β⇒*εのとき」→「より一般的には、β≠εでβ⇒*εのとき」
  
  
• １２４頁，上５，６行
  「４角」→「四角」
  
  
• １３１頁，下４行
  「jpc」の「j」の下線を除く
  
  
• １３６頁，下１２行
  「２番地であるとしている．」
  →
  「２番地であるとしている．命令語のアドレス部はレベル番号と相対アドレスからなる．例えば「load 0 4」はレベル０のデータ領域の中の相対アドレス４のデータをロードする命令である．」
  
  
• １３６頁，下３行
  「（３）」→「（５）」
  
  
• １３５頁，下１行，図8.3
  
• １３６頁，上３行（２カ所），５行，９行（２カ所），１１行，１３行
  
• １３７頁，上７行，図8.4
  
• １３８頁，図8.5，図8.6
  
• １４１頁，下７行
  「トップ」→「top」
  （注意：１３４頁の下と１３５頁の上の「トップ」は変更しない）
  
  
• １４１頁，下４行
  「cal(コール)」→「cal(コール)，ret(リターン)」
  
  
• １４２頁，上１行
  「先頭番地．」
  →
  「先頭番地であり，ret命令のレベルは関数本体のレベル，番地部は関数の引数の個数である．」
  
  
• １４２頁，上４行
  「，ret(リターン)」→「」
  
  
• １４２頁，上５〜６行
  「，retのときレベル．」→「である．」
  
  
• １５３頁，上１行
  「checkGet」→「checkGet」
  
  
• １５５頁，下８，９行

    case End: case Semicolon:  /* 空文を読んだことにして終わり */
         return;
  →
    case End: case Semicolon: case Period:  /* Follow(statement)のトークン */
         return;   /* の場合:空文を読んだことにして終わり */

• １５７頁，下１２行

    errorMessage("\\#par"); /* pars(tIndex)は仮引数の個数 */
  →
    errorMessage("unmatched par"); /* pars(tIndex)は仮引数の個数 */

• １５８頁，下

     case Equal:genCodeO(eq); break;
     case Lss:	genCodeO(ls); break;
     case Gtr:	genCodeO(gr); break;
     case NotEq:	genCodeO(neq); break;
     case LssEq:	genCodeO(lseq); break;
     case GtrEq:genCodeO(greq); break;
  →
     case Equal:	genCodeO(eq); break;
     case Lss:	genCodeO(ls); break;
     case Gtr:	genCodeO(gr); break;
     case NotEq:	genCodeO(neq); break;
     case LssEq:	genCodeO(lseq); break;
     case GtrEq:	genCodeO(greq); break;

• １６４頁，下３分の１

  「void errorType(char *m)		/*　型エラーを.texファイルに出力　*/
  { 」  
  →
  「void errorType(char *m)		/*　型エラーを.texファイルに出力　*/
  {
      printSpaces();」

• １６５頁，真ん中辺
  「(i==(int)Id)」→「(i==(int)Id)」
  
  
• １６６頁，下１３行
  「spaces+=TAB;」→「spaces+=TAB; /* 行の先頭のタブ以外は不正確 */」
  
  
• １６７頁，上３，４行，および７２頁の真ん中辺

  「if (i > MAXNAME)
  	errorMessage("too long");」
  →
  「if (i >= MAXNAME){
  	errorMessage("too long");
  	i = MAXNAME - 1;
     }」

• １６７頁，上１６行，および７２頁，下１３行
  「num = 0; i = 0;」→「num = 0;」
  
  
• １６８頁，下５〜９行

  「static void printSpaces()		/*　空白や改行の印字　*/
  {
  	int i = CR;
  	if (i-- > 0){
  		fprintf(fptex, "\\par\n");
  		while (i-- > 0)
  			fprintf(fptex, "\\ \\par\n");
  	}
  	i = spaces;
  	while (i-- > 0)
  		fprintf(fptex, "\\ ");
  }」
  →
  「static void printSpaces()		/*　空白や改行の印字　*/
  {
  	while (CR-- > 0)
  		fprintf(fptex, "\\ \\par\n");
  	while (spaces-- > 0)
  		fprintf(fptex, "\\ ");
  
  	CR = 0; spaces = 0;
  }」

• １６９頁，下７行
  「(i==(int)Num)」→「(i==(int)Num)」
  
  
• １７２頁，下１５行
  「tIndex++」→「++tIndex」
  
  
• １７６頁，上１０行

  「#define MAXMEM 2000		/*　実行時スタックの最大長さ　*/」
  →
  「#define MAXMEM 2000		/*　実行時スタックの最大長さ　*/
  　#define MAXREG 20		/*　演算レジスタスタックの最大長さ　*/」

• １７９頁，真ん中あたり
  「 if (top >= MAXMEM)」
  →
  「 if (top >= MAXMEM-MAXREG)」
  
  
• １８２頁，上２行
  「Thch」→「Tech」
  
  
• １８２頁，下５行
  「Institute」→「Institut」
  
  
• １８５頁，１章２．の解答の図のT型の中
  「M」→「VL」
  
  
• １８７頁，４章１．(c)の解答の(４)
  
  初期状態からa，aで遷移した状態が最終状態(2重丸)となっているのを1重丸とする
  
  
• １８７頁，４章１．(c)の解答の(５)
  
  (1)初期状態からcで遷移した状態が1重丸となっているのを最終状態(2重丸)とする
  (2)右端の状態(初期状態からc，b，cで遷移した状態)を削除し，初期状態からc，b，cで遷移する状態は，初期状態からc，a，aで遷移した状態と同じとする
  
  
• １８８頁，５章１．（４）の解答の最後の行
  「LL(1)文法である」→「LL(1)文法でない」
  
  
• １９３頁，下５行
  「２文法　104」→「２分法　105」