只今読み中の論文Prototyping realistic programming languages based on formal specifications: Arnd Poetzsch-Heffter, Springer-Verlag 1997まだ流し読み中だけれども，気になる記述があった．P747 FCT encl_method( Exp@ E ) Method@: IF Method@ M THE…

前回のをバージョンアップhttp://www2.eplang.jp/tonyu/adaptive/grammarApplet.html(JavaAppletが起動します．ソースあり） 左上に文法定義を書くと，右上に文法定義の構文木が出る． 右下に，上で決めた文法にしたがって文字列をかくと，右下に文字列の解…