本人是新手，遇到有关AI的问题，想求助大侠们

有规则如下：
aa->a
bb->b
ba->ab
a->A
b->B
这个产生式系统可以把任何有a和b两个字母构成的字符串变为AB，例如abab=>aabb=>abb=>Ab=>AB
请问大侠这个问题用C怎么实现？ 用什么策略 最后用代码描述一下。谢谢~！