context-free-grammar - 文脈自由文法 (CFG) の検索

Question

言語を生成する文脈自由文法 H を与える

 M = {a^m
b^n
| 2m > n > m}.
‘

ヒント: m を 0 にすることはできません。その場合は 2m = m です。m を 1 にすることはできません。その場合、2 > n > 1 であり、そのような自然数 n は存在しないからです。したがって、言語 M の最短の文字列は aabbb です。より長い文字列の場合、bs の数 n と as の数 m が 2m > n > m を満たすようにする必要があります。