CentOSインストール

VMWare Playerインストール後、久しく何もしていなかったが今夜CentOSの.isoファイルをダウンロードしてインストール。
インストール後、yum updateを実行中。
明日にでもQuartus II v13.0をCentOS上にインストールしよう。

CUDA Toolkit v5.0インストール

自宅で長いこと使っていたThinkPad T60のバックライトがいかれてしまったので、
HPのノートPCを購入しました。
GeForce GT 650M搭載にしたので、GPGPUの勉強用にCUDA Toolkit v5.0を
インストールしてみました。

コンパイラ構成法： 第7章

コンパイラ構成法の第7章のサンプルプログラム一式を入力して実行したところ、またもや「問題が発生したため、ExprC.exeを終了します」のメッセージが。

ソースコードを見直しても明らかな間違いが見つからず、あきらめて第8章に進もうとしたが、このページを参考にgdbを使ってみたところ、

SymTab[Last + 1]

と記述するべきところで、初期化していない変数iを使って

SymTab[Last + i]

と記述してしまっていたことが原因とすぐ分かった。
gdbに感謝！

コンパイラ構成法： 一個以上の表し方

一個以上（正規表現だと+）のあらわし方。
下記の記述の場合、s_listは一個以上のstmtからなることを示している。

s_list : stmt
       | s_list stmt
       ;

コンパイラ構成法： VSM

コンパイラ構成法の第6章にある仮想スタックマシンVSMのコードを入力。
コンパイルして実行してみたが、「問題が発生したためCalcL.exeを終了します」になってしまう。
VSM.cのどこかで間違っている模様。
明日デバッグする。

(1/26追記)
CalcL.lのscanfで、

sscanf(yytext, "%d", &yylval);

とすべきところで、yylvalの前の&が抜けていたことが原因だった。
VSM.cには特にエラーはなく、すぐに動作した。

コンパイラ構成法：演習問題2-2 (b) 続き

先日は空のリスト () には対応できていなかったが、対応できた。
演習問題 2-2(b)にあるリストでは、すべて correct expression として受理される。
0個以上というのを文法ではこのように記載することに気が付いたことが大きい。

%token CHAR

%%

input : '(' expr ')' '\n' { printf("correct expression\n"); } ;
expr :                    { printf("[empty] -> expr\n"); } 
     | expr term          { printf("expr -> expr term\n"); };
term : CHAR               { printf("term -> CHAR(%c)\n", $1); }
     | '(' expr ')'       { printf("term -> ( expr )\n"); }
     ;

%%

yylex() {
	int c;

	while (' ' == (c = getchar()) );
	if ( isalpha(c) ) {
		yylval = c;
		return CHAR;
	} else {
		return c;
	}
}

コンパイラ構成法： 任意個の式の繰り返し

行 →　{ 式 \n }
という文法を表現する場合、行をline、式をexprとして次のように表現できる。

line : /* 空規則 */
     | line expr '\n'

コンパイラ構成法： 第4章まで

コンパイラ構成法は第4章まで読み進んだ。
第2章～第4章の演習問題も後でできるだけ自分で解いてみたい。
第5章は「字句解析のLex」。

コンパイラ構成法：演習問題2-2 (b)

コンパイラ構成法の演習問題2-2(b)。
空のリスト ( ) はまだ対応できていないが、(a)、(a b c)、((a b) c)、(a ((b) c (d e))は対応できたはず。
リストの要素は、文字1つに限定している。

%token CHAR

%%

input : '(' expr ')' '\n' { printf("correct expression\n"); } ;
expr : expr term          { printf("expr + term -> expr\n"); } 
     | term               { printf("term -> expr\n"); };
term : CHAR               { printf("CHAR (%c) -> term\n", $1); }
     | '(' ')'            { printf("(empty list) -> term\n"); }
     | '(' expr ')'       { printf("( expr ) -> term\n"); } ;

%%

yylex() {
	int c;

	while (' ' == (c = getchar()) );
	if ( isalpha(c) ) {
		yylval = c;
		return CHAR;
	} else {
		return c;
	}
}

言語実装パターン： 1/15の週

言語実装パターンは、今週は第6章から第8章まで読み進める予定です。
書籍自体は、2月いっぱいで読み終えようと考えています。
次は、数年前に買って一度は1/3くらい読んで挫折した、コンパイラ構成法に移る予定です。
こちらの本はlex/yaccを使っていますが、仮想的なマシンをターゲットに、少しずつC言語のような文法を定義していくという内容です。