parser generator を探してみた。さすがは実験言語。ぞろぞろ出てきますｗ

ttp://www.iro.umontreal.ca/~boucherd/Lalr/documentation/lalr.html
ttp://www.informatik.uni-freiburg.de/proglang/software/essence/
ttp://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/scheme/code/parsing/taurus/0.html