S -> aaS | aB | bbC | ε
B -> bbB | b
C -> bbC | ε
вы видите, это обычный язык.«S» означает «мы построили четное число a, и за ним может следовать больше a», «B» означает «мы построили неравное число a, и теперь следует неравное число b».«C» означает «мы построили четное число a, и теперь следует четное число b.
ε означает« », пустая строка