よくわからないけど、例えば迷路を無向グラフで表したときに、スタートからゴールまで1つしか道筋のないもの、っていうのをグラフ文法で表現できたりするのかな？
どうもまだ生成規則の書き方からして、イマイチ想像できない。