例えば文字の集合{a,b,は}が与えられてる場合
aはa,abはab,abbはabb,baはba…
みたいなのが小泉構文とするとして
任意の小泉構文のみを含む言語を生成するにはどういう形式文法にすればいい？