Parsing expression grammar

Parsing expression grammar なるメタ文法があることを知った。今の #Script 仕様書は文脈自由文法 (context-free grammar) で定義しているが、もしかしたら parsing expression grammar のほうがいい感じになるかも。

Parsing expression grammar を recursive descent parser で解析するとなると、バックトラックをどう実現するかが問題だな。でも今の #Calc の実装だとそれほど大きな書換えはしなくてすみそうだ。

っていうか、parsing expression grammar や recursive descent parser って日本語で何て言うんだ?