【正确答案】 D

【答案解析】 能用正规式描述的集合可用有限自动机识别，任何一个非确定的有限自动机都可以找到其对应的确定有限自动机。 集合中字符串的特点是m个a后跟m个b，需要对a和b进行计数，确定的和非确定的有限自动机不具备该能力。