あとは表現力の大きな言語Lを定義するだけ

表現力が大きすぎるとbの定義が難しくなっちゃったりもするけど