对于n=1，a（1）=2个不同的DFA是
状态1:a->1，b->1
状态1:a->1，b->1，接受
第一个接受空语言；第二种接受通用语言。
对于n=3，以下两个DFA是等效的，因为它们接受相同的语言：
状态1:a->2，b->2，接受；状态2:a->1，b->3；状态3:a->2，b->2
状态1:a->3，b->3，接受；状态2:a->3，b->3；状态3:a->1，b->2
以下DFA根本不计算在内，因为它可以最小化为（即接受与）两状态DFA相同的语言：
状态1:a->1，b->2；状态2:a->2，b->3，接受；状态3:a->3，b->2，接受
（结束）
