S -> aaS | aB | bbC | \xce\xb5\nB -> bbB | b\nC -> bbC | \xce\xb5\n你看，这是一种常规语言。\'S\' 代表“我们已经构造了偶数个 a，并且可能有更多的 a”，\'B\' 代表“我们已经构造了奇数个 a，现在有一个随后出现奇数个 b。\'C\' 代表“我们已经构造了偶数个 a，现在后面是偶数个 b。
\n\n\xce\xb5 代表“”，空字符串
\n