トップページ⇒tech
865コメント266KB

『コンパイラ・スクリプトエンジン』 相談室 2

■ このスレッドは過去ログ倉庫に格納されています
0001nanashi de faultNGNG
前スレ1より
>yaccやlexの使い方やら言語仕様やらの話題。

前スレ

【コンパイラ・スクリプトエンジン】相談室
http://pc.2ch.net/test/read.cgi/tech/981672957/

前スレアーカイブ(かちゅ用)
http://www.1me.jp/hp/prg_c-s_lab

前スレに張られたリンク + x
>>2-6
0232デフォルトの名無しさんNGNG
>>231
だれそれ?電波固定?
0233デフォルトの名無しさんNGNG
コンパイラとかじゃなく、ファイルを読む道具としてyacc&lexを
使っているのですが、入力した数値で要素数が定義されてるよう
な場合どうしたらよいでしょうか?

要素数 - 要素...
4 4 4 2 2
5 0 1 0 2 3
2 0 3

という形式です。

int_array
: /* empty */
| integer
| int_array integer
;

では、全部一気に読んでしまうので・・・。(低レベルでスマン・・・。)
0234デフォルトの名無しさんNGNG
>>233
int_array
: /* empty */
| one integer
| two integer integer
| three integer integer integer
(略)
;
とするとか…



















イヤスギ
0235デフォルトの名無しさんNGNG
int_list: /* カラ */
| integer
| int_list integer
;
int_array: integer int_list
;

ダメか?
0236棄教者 ◆KIKYO7cg NGNG
-----------------yacc------------
%token NUM
%%
lines : /* empty */
| line lines
;
line : index elements '\n' ;
index : number ;
elements : /* empty */
| number elements
;
number : NUM ;
%%
------------------lex-------------
[0-9]+ { yylval = atoi( yytext ); return NUM; }
[ \t] { /* 空白は捨てる */ }

でどうよ。
0237233NGNG
レス下さった方々ありがとうございます。

>>234
ちょっと無理です・・・。^^;

>>235
最初の要素は良いのですが残りはすべてint_list integerに一致して
しまうようです。

>>236
233の例では行けると思いますが、実はこの形式を出力するツールは
一つではなくて、それらの間で改行の位置というのは統一されていな
いのです。というわけで、できれば改行フリーでなんとかしたいと
思ってるのですが・・・。

うーん、そもそも読み込んだ値を利用したり、繰り返しの回数を制限
するのはyaccで定義できる構文の概念を逸脱しているんでしょうか・
・・。 今回はyaccの使用はやめてlexだけに留めるべきかもしれませ
んね。(その辺ご存知の方いましたら後学のため教えていただきたい
です。)
0238デフォルトの名無しさんNGNG
>>237
atoiでいいじゃん。
「何回繰り返す」とかはセマンティクスの部類に入るから、
yacc使うのはお門違い。
0239デフォルトの名無しさんNGNG
>>237
ドラゴンブックにはそういうの(個数の検査とか)は構文では解決でけん
と書いてあった気がします。
0240デフォルトの名無しさんNGNG
>>233
正攻法は単に数値のリストとして、リストに含まれる文字コードチェックに
利用を限ってしまうのがいいんじゃないかな?
考えてみるのは面白そうだけど、
仕事となると、むきになってやっても費用対効果がなさそうだし・・・
0241デフォルトの名無しさんNGNG
ギコBasic新しく作り直してみた

http://page.freett.com/gikob/gikob0002.zip
0242241NGNG
まだギコBasicのスレが残ってるのに気づかなかった・・・スマソ
0243デフォルトの名無しさんNGNG
ANTLRの使い方を日本語で解説してあるウェブページありませんか?
0244デフォルトの名無しさんNGNG
ガイツュシ
0245デフォルトの名無しさんNGNG
STLスレから出張。
これ http://spirit.sourceforge.net/ どうなん?

0246デフォルトの名無しさんNGNG
>>245
すげー。びびった。久々に驚嘆したハックだ。
0247デフォルトの名無しさんNGNG
ふふ
0248デフォルトの名無しさんNGNG
以下のような構文を作ります。データを定義しているフォーマットです。xmlとかcvsみたいな物です。
ここから木の様に情報を取り出したいと思ったのですが、上手くパーサを作れません。
tokenizerは簡単に出来るのですが、どうすれば良いですか。rubyでやってます。

object hoge
 caption='hogehoge'
 val=0
 object fuga
  caption='fugafuga'
  object aaa
   caption='aaa'
  end
  object bbb
   caption='bbb'
  end
  object ccc
   caption='ccc'
  end
 end
end
0249ねこまNGNG
インデントレベルだけで解釈できれば簡単そう
0250デフォルトの名無しさんNGNG
トラバースと逆の手順。
各ノードは子供と親のリンクを持つ。

<でノードを生成、現在処理中のノードへの参照を
親への参照として新規ノードへ設定。
その後で親に子として新規ノードへの参照を設定。
処理中のノードの参照として新規ノードを指させる。

>でシングルタグか開始タグか終了タグかを判断し
親に戻るかどうかを決める。
戻る時には処理中のノードの参照として
親を指させる。

こっちにドキュメントを置いてます。
サンプルソースはC++。
ソース玉は整理してないんで乱雑にメモテキストとか
テストデータが散らかっててちょっと気が引ける。
https://sourceforge.jp/projects/frogger/
こういうドキュメントが欲しいとか
掲示板に投げておけばそのうち対処するかも。
0251デフォルトの名無しさんNGNG
>>248
rubyじゃできないな。
0252デフォルトの名無しさんNGNG
手抜き実装で考え方だけ。言語も適当。

loop
  token w = Tokenizer.next();

  if w == 'object' then
    currNode := currNode.pushNewNode( Tokenizer.next());
    continue;
  end if

  if w == 'end' then
    currNode := currNode.parent();
    if currNode is null then break;
    continue;
  end if

  Tokenizer.skip();
  currNode.pushNamedValue( w, Tokenizer.next());
end loop

Node というクラスはツリーのノードを表す。
各ノードは子ノードとして、object か namedValue を持つことができる。
pushNewNode は object 子ノードとして追加して、その新規子ノードを返す。
引数はノードの名前を表す。
pushNamedValue は namedValue 子ノードとして追加する。戻り値はなし。
第一引数は値の名前、第二引数は値の中身。
0253デフォルトの名無しさんNGNG
今ちょっと色々調べてたんですけど、色々とヒント有り難うございます。
一週間前にはかけらすらないような事趣味でやり始めて分かったんですが構造を持つ
ファイルフォーマットってコンパイラ作成のような視点が必要なんですね。
さすがにインデントでは無理だってすぐ分かりましたが、xmlに近いことは
気づきませんでした。そう言えばxmlと似てますね。

内部データ構造を持つファイルフォーマットのパーサーの解説の一般的なドキュメント
希望>250
0254デフォルトの名無しさんNGNG
schemeで書くとこんな感じなんだが

(define (hoge-read s)
 (let loop ((x s) (stack '()))
  (if (pair? x)
   (case (car x)
    ((object)
     (loop (cddr x) (cons (list (cadr x) (car x)) stack)))
    ((end)
     (if (null? stack)
      (error "Syntax-error - Corresponding 'object' is required :"
       s))
     (if (pair? (cdr stack))
      (loop (cdr x)
       (cons
        (cons (reverse (car stack)) (cadr stack))
        (cddr stack)))
      (loop (cdr x) (reverse (car stack)))))
    (else
     (loop (cdddr x)
      (cons
       (cons (list (car x) (caddr x)) (car stack))
       (cdr stack)))))
   (if (and (pair? stack) (pair? (car stack)))
    (error "Syntax-error - 'end' is required :" s)
    stack))))
0255デフォルトの名無しさんNGNG
;テスト
(define hoge-read-test-data '(
object hoge
 caption = "hogehoge"
 val = 0
 object fuga
  caption = "fugafuga"
  object aaa
   caption = "aaa"
  end
  object bbb
   caption = "bbb"
  end
  object ccc
   caption = "ccc"
  end
 end
end
))

(hoge-read read-tag-test-data)
=>
(object
 hoge
 (caption "hogehoge")
 (val 0)
 (object
  fuga
  (caption "fugafuga")
  (object aaa (caption "aaa"))
  (object bbb (caption "bbb"))
  (object ccc (caption "ccc"))))
0256デフォルトの名無しさんNGNG
(中身的に変んないけど)Cに変換すると
scmobj_t hoge_read(scmobj_t s) {
 scmobj_t x = s;
 scmobj_t stack = nil;
 tail_recursive_loop:
 if (pairp(x)) {
  if (car(x) == make_symbol("object")) {
   stack = cons(list2(cadr(x),car(x)),stack);
   x = cddr(x);
   goto tail_recursive_loop;
  } else if (car(x) == make_symbol("end")) {
   if (nullp(stack))
    return error("Syntax-error - Corresponding 'object' is required :",s);
   if (pairp(cdr(stack))) {
    x = cdr(x);
    stack = cons(cons(reverse(car(stack)),cadr(stack)),cddr(stack));
    goto tail_recursive_loop;
   } else {
    x = cdr(x);
    stack = reverse(car(stack));
    goto tail_recursive_loop;
   }
  } else {
   stack = cons(cons(list2(car(x),caddr(x)),car(stack)),cdr(stack));
   x = cdddr(x);
   goto tail_recursive_loop;
  }
 } else if (pairp(stack) && pairp(car(stack)))
  return error("Syntax-error - 'end' is required :",s);
 return stack;
}
0257デフォルトの名無しさんNGNG
>>245
Expression Templateをはじめ各種のテンプレート・メタ・プログラミングは
知ってたけどPaser Generatorにまで行きつくとは。 
 カ コ イ イ ! !
テンプレートらしく解析対象の列の要素型がパラメタ指定できるのもカコイイ!
(char, w_charに始まってユーザー作成のクラスまで)
字句解析器も含んでるしね。

当方Java(正確にはバイトコード)のPartial Evaluationを実装中なのだが、
Javaに演算子多重定義が導入されていれば、
合わせ技で同じようなことが狙えたのになァ。惜しい。
(メソッド呼び出し式で書けば良いわけだが、カッコ良さが大いに減る。)
0258デフォルトの名無しさんNGNG
>>257
でも、あんまり真剣な用途には使えないよね。

実行時にパーザ生成するんだったら、文字列で文法与えても良いな。
0259祐一ゴンNGNG
やぁ、ぼく押金さん(*´∀`*)ノ
中学の時からポカリの粉を麻薬と思って鼻から吸ってたけどヽ(`Д´)ノ ウワァァン!!全然トリップできないや!最近初めてその事実を知ったよ
今部屋をテラフォーミングしたら鼠の干からびた死体が出てきたよ、あまり旨くなかったよ
0260デフォルトの名無しさんNGNG
パスカルとベーシックってどっちが作りやすいですか?
0261:−)NGNG
pascal→delfy
ベーシック→HSP

HSPはタダの開発環境です。デルフィは10万円くらい?
0262デフォルトの名無しさんNGNG
たとえば、関数呼び出し
a(b(c(d())));
ってのをなんらかの中間コードにしてあって、
これを1パスでコード生成できるの?
(最適化はどうでもいい)

a();
のコード生成はできるけど、
a(b());
のようにネストするとできなくなって困ってます。
0263デフォルトの名無しさんNGNG
>>262
ちょっとは考えろ
つーか、お前の言う中間コードって何のためにあるのさ
0264デフォルトの名無しさんNGNG
>>262
> ってのをなんらかの中間コードにしてあって、
> これを1パスでコード生成できるの?

「これ」というのが「中間コード」を指しているのなら、
どのような「中間コード」なのか示してもらわないと。

) を検出したタイミングでコード生成すりゃいいだけの
話なんだけど。
0265デフォルトの名無しさんNGNG
バイトコードバイトコード!
0266デフォルトの名無しさんNGNG
>>261
デルファイじゃないのか?Delphi
嘘教えるなよ
0267デフォルトの名無しさんNGNG
>>261はどうみても無知だろ
0268デフォルトの名無しさんNGNG
>>260はコンパイラ作るならbasicかpascalどっちを作ったほうがいいかって
いってるんだろ。どっちだろう、俺はベーシック知らないからなんとも
いえん。
0269デフォルトの名無しさんNGNG
コンパイラならPascalだろうが、
インタプリタならBasicの方が楽だろう。
昔のBasicインタプリタは4KBくらいだった。
0270デフォルトの名無しさんNGNG
ベーシックインタプリタのコードってないの?
0271デフォルトの名無しさんNGNG
>>271
ほれ
ttp://homepage2.nifty.com/rohizuka/ka/pa_003_a.htm
0272デフォルトの名無しさんNGNG
>>260-270
…この21世紀になんでその2択に拘るんだw。
0273257NGNG
>>258
使えないかねぇ…。この辺の技術には期待したいトコロなんだけどなぁ。
私も使ってみたわけではないので大丈夫と言い切れるもんではないんだが。

実行時というか、コンパイル時にテンプレートの展開動作を利用して
パーザが作られるようなんだが。
0274デフォルトの名無しさんNGNG
>>270
ギコBASICは参考にならないですか?
0275デフォルトの名無しさんNGNG
この辺は?
http://member.nifty.ne.jp/nakamula/recurs.htm
0276デフォルトの名無しさんNGNG
bisonが吐き出したコードってなんでVC++でコンパイル通らないんだ?
激しく鬱…

bison++/flex++に乗り換えるかのぉ。ドキュメント少なすぎだが・・・
0277デフォルトの名無しさんNGNG
>276
> bisonが吐き出したコードってなんでVC++でコンパイル通らないんだ?
gcc 使え、というお達しかと……。ところで byacc とか kmyacc はどう?
0278276NGNG
正確にはC++ソースとしてコンパイルしようとすると、VC++には入ってない(おそらくPOSIX互換の?)インクルードファイルを要求されてコンパイルできません。
まぁ、別にオブジェクト指向な解析器が作りたいというわけではなく、ただアクション書くのにクラスとか使いたいだけなんだが…

何かいい方法あったらキボンヌ!というか、bison++/flex++の日本語ドキュメントなんか激しくほすぃかも
0279デフォルトの名無しさんNGNG
>278
include 外せばいいんじゃないの?
0280デフォルトの名無しさんNGNG
>279
それだと毎回 *.y からコード生成するたびに書き換えが必要になるから、
ダミーのヘッダファイルをでっち上げるに一票。

っつか、どうしても再入可能にしたいとかで bison の機能が必須でなければ、
bison 以外の yacc 互換処理系を試す方が幸せかも知れんが。
0281278NGNG
>>280
bison以外ならC++ソースとしてビルドできるんですか?

今日はbison++/flex++試しマスタ。今度はVC++だとエラー出まくって全然ビルドできない罠。

byaccとkmyacc試してみるかなぁ。
0282デフォルトの名無しさんNGNG
yaccの使い方教えろや
0283bloomNGNG

http://www.agemasukudasai.com/bloom/
0284デフォルトの名無しさんNGNG
coco/r使えよ
0285デフォルトの名無しさんNGNG
coco/rって何か教えろや
0286デフォルトの名無しさんNGNG
うえーんコンパイラフレームワークキボン( ●д●)
0287デフォルトの名無しさんNGNG
>>286
lex + yacc + RTL(gcc)じゃ駄目か?
0288デフォルトの名無しさんNGNG
yaccかbisonについて優しく解説してるサイトはありませんか?
または本でも。
0289デフォルトの名無しさんNGNG
ちょっと聞いていいですか?
このスレ、結構人が訪れているみたいなんだけれど、
実際にコンパイラレベル(変な言い方だけど)のものを作ってる、もしくは作った人っています?
自分はスクリプトぐらいなら、何とかいけそうなんだけれど、
コンパイラまでくるとかなり大変じゃないですか?
0290デフォルトの名無しさんNGNG
仮想的なスタックマシンとかのコンパイラなら
作ってる人は沢山いると思うよ。
0291デフォルトの名無しさんNGNG
>288
オライリーの lex & yacc 本

>289
アセンブラを出力させるなら、そんなに面倒じゃない。実行できるバイナリを出力
しようと思うと、山のような詳細に追われて力尽きる。
0292デフォルトの名無しさんNGNG
インストラクションコードへの変換が面倒だなあ。
テーブル化するのが。
0293デフォルトの名無しさんNGNG
変な聞き方してしまいました。
コンパイラといっても仮想マシンコードに変換するスクリプトコンパイラだってあるし。
ネエィテブなアセンブルや直接、実行形式を吐くコンパイラのことを聞いたつもりでした。
0294ろうひ男爵NGNG
>>289
自分は構造化BASICで186のDOSの.COMを出力する物を作ったよ。
今は暇を見つけて簡易的なC言語コンパイラを作ってるよ
0295デフォルトの名無しさんNGNG
だれか僕のためにCコンパイラのソースみせてください。
Cじゃなくてもパスカルでもベーシックでもいいっす。
( ̄人 ̄)オ・ネ・カ・゛イ♪ヽ(* ̄〓 ̄*)ノ^☆ブチュゥゥ♪
0296デフォルトの名無しさんNGNG
ギャーーーーー
0297デフォルトの名無しさんNGNG
>>295
http://gcc.gnu.org/
0298デフォルトの名無しさんNGNG
>>295
ほれ

#include <stdio.h>
main()
{
printf("逝ってよし");
}
0299デフォルトの名無しさんNGNG
ウワァァァァァァヽ(`Д´)ノァァァァァァン!
0300ろうひ男爵NGNG
>>295
BASICで、

[ラベル:] if 比較式 goto ラベル
[ラベル:] print "メッセージ"
[ラベル:] 代入式

でよかったら、構文解析もほとんどいらないし簡単じゃない?
改行で行末にして、変数の頭にRをつけてR10とかすれば、
悩むところはないと思うよ。

パスカルだとラベルを読み込むときに細工すればLL(1)だよね、
そんなに難しくないはずだよ。
Cにしろパスカルにしろなにがしらの本を読んだ方が良いんじゃない?

言語はどのレベルの物を作ろうとしてるの?
それと、実行環境はスクリプトで中間言語に落としての実行環境?
0301デフォルトの名無しさんNGNG
>295
どうせ渡されたところで読めない、に 1 票。

言語処理系を作るのが初めてなら、とりあえず「UNIX プログラミング環境」でも
買ってきて hoc の実装追ってみれば?
0302デフォルトの名無しさんNGNG
つーかコンパイラのソースが見たいんならgccなりOpenWatcomなりがあるわけで。
それぐらい自分で探せヴォケつー。
0303デフォルトの名無しさんNGNG
bccが一番読みやすいなり
0304デフォルトの名無しさんNGNG
>302
いきなり gcc は厳しすぎ。

10年前だと「アルゴリズム+データ構造=プログラム」読めというところだが、
さすがに古いよな…。
0305デフォルトの名無しさんNGNG
http://www.amazon.co.jp/exec/obidos/ASIN/4844317210/qid=1039872470
はどうよ? インタープリタだけど。
0306デフォルトの名無しさんNGNG
たけーんだよバカ
0307デフォルトの名無しさんNGNG
専門書の類は、どれもそんなもんだ。諦めれ。
0308デフォルトの名無しさんNGNG
一応タダで読めるけどな。
http://i.loveruby.net/ja/rhg/index.html
0309ろうひ男爵NGNG
Cマガでコンパイラのことをやってますね。
演算子順位法とLL(1)をざらっと、LALRの概説です。
計12ページぐらいだったので、ここにいる方には物足りませんが、
読みやすかったので、人に聞かれた場合にはイイかも。
0310デフォルトの名無しさんNGNG
http://tmp.2ch.net/test/read.cgi/lobby/1040147707/
これよんでみれ!
0311デフォルトの名無しさんNGNG
えっ、bisonで生成したコードってVC++じゃ、
コンパイルできないのですか?
じゃあ、かわりにVC++で通るyacc互換でお勧めってあります?
仕事でも使うかもしれないので商用OKだとありがたいのですが。
0312デフォルトの名無しさんNGNG
GC(ガベコレ)についてちゃんと勉強してみたいのですが、
何かいい書籍はありますか?今は少しづつですが、gccに含まれている
Boehmのソースで勉強してますがなかなか思うように進みません。

VMにそのようなものが書かれているものがあればそれでもOKです。
よろしくお願いします。
0313デフォルトの名無しさんNGNG
>>312
とりあえず、>>305に紹介されてる本読むとか。
0314デフォルトの名無しさんNGNG
>>309
概説でしかないし、yaccはちょこっとだけしか載ってない。
作るための特集じゃなくて、基礎知識をお勉強するための記事だった。
という印象。
0315デフォルトの名無しさんNGNG
>>311
VCでコンパイルできなかったっけ?
まぁいいや。

ttp://www.kohsuke.org/flex++bison++/
これなんかどうよ。使った事無いけど。
0316ろうひ男爵NGNG
>>314
さすがにあのページ数だと、1つでも掘り下げるのは難しかったみたいですね。
その中では演算子順位法が分かりやすかったと思います。
0317デフォルトの名無しさんNGNG
>>311
通るよ。

でもbisonで生成したコードにはGNUのテンプレートが含まれるので、商用はま
ずかったと思う。
0318デフォルトの名無しさんNGNG
>>312
書籍じゃないけど。
http://www.dcs.qmul.ac.uk/SEL-HPC/Articles/GeneratedHtml/comp.gc.html
0319デフォルトの名無しさんNGNG
>>317
出力されたコード見れば分るけど 1.24 以降は特例として GPL 適用外になってる。
0320デフォルトの名無しさんNGNG
>>319
あ、変わったんだ。サンクス。
0321デフォルトの名無しさんNGNG
bisonを使った宿題が出ているのですが、
ここでそのことについて質問してもいいでしょうか?
0322デフォルトの名無しさんNGNG
>>321

>yaccやlexの使い方やら言語仕様やらの話題。
だから、宿題丸投げじゃなきゃいいと思うよ。
0323デフォルトの名無しさんNGNG
>>321
 何か本を入手した?(購入するのも、図書館で借りるのも可。)もしまだなら、
   書名:UNIX Literacy Series Vol.12 UNIX yaccとlexの使い方
   発行所:HBJ出版局
   著者:田中正広
   ISBN:4-8337-8728-8
を入手して読んでみるといいYO!現在これ読んで某課題と格闘中(^^;
 で、そういった本を読んでから質問するのなら十分OKかと。>>322に同意
0324デフォルトの名無しさんNGNG
スクリプト言語でアセンブラ処理系は作れるのか?
0325デフォルトの名無しさんNGNG
>124
作れるよ
0326デフォルトの名無しさんNGNG
最近、Flex&Bisonをいじり始めました。
まだ、基本概念を勉強中なのですが、Flex&Bisonを使った「C++」用の
チュートリアルや簡単なサンプル実装などないでしょうか?
「C」での実装はいろいろあるんですが、自分はC++で実装したいの困ってます。
C++での解説も申し訳ない程度にはあるんですが、やっぱりサンプルがあると助かります。
0327デフォルトの名無しさんNGNG
スクリプト言語でアセンブラ処理系ってのもいみなさそうだな。
C言語をスクリプト言語として動くように作ったことはあるが。
0328デフォルトの名無しさんNGNG
>>327
意味あるよ
0329デフォルトの名無しさんNGNG
>>328
新規チップの設計用とか?w
0330デフォルトの名無しさんNGNG
>329
ユーザにアセンブラ処理系の機能拡張をさせる場合には、スクリプト言語を
そのまま使えるのは嬉しいかも。自前でマクロ言語作るのって手間だし、マ
クロの設計がダサいとユーザの不満もたまるし(w

ただ、往々にしてバイナリ入出力の扱いって C, C++ の方が楽なんだよね。
0331デフォルトの名無しさんNGNG
Cマガの特集見ました。
よしこれから面白くなるってところで、終わってました。
期待してたのにちょっと悲しい。
■ このスレッドは過去ログ倉庫に格納されています