レスありがとうございます。

そうです。for(α;β;γ) S で、
αをfor文の初期設定，βをfor文の反復判定，
γをfor文の増分操作としています。

とりあえず以下のようにしてみて

for_statement(){
if( token==For ){
get_token();
if( token==Lpar ) get_token(); else error();
expression();
if( token==Semicolon ) get_token(); else missing(";");
expression();
if( token==Semicolon ) get_token(); else missing(";");
expression();
if( token==Rpar ) get_token(); else error();
statement();
}else{
error();
}
}
さらに、ジャンプの仕組みを追加したいのですが
わかりません。

>>６６５さん
すいません。
その辺は理解している（したつもりになっている）のですが
ちっとも簡単に思えないのです。よろしければ
もう少し詳しくお願いします。