[软考考点解析]软件设计师--有限自动机(DFA)

1. 题目

某有限自动机DFA的状态转换如下图（0是出态，4是终态），则该DFA能识别____。

A aaab
B abab
C bbba
D abba

2. 理论

有限自动机DFA，看似概念非常高端大气，实际上这就是个送分题，只要简单的了解下如何识图，就能轻易做出来。
看上图，从0到1有一个箭头，所以是a；
从0到1到3有箭头，所以是aa。
从3到3有指向自己的箭头，表示循环，则3这个地方可以生成无限个a或者b。
从3到4有箭头，所以是b。

3. 解析

看整体，不管走哪个路径，开头必然是aa（走0-1-3）或者bb（走0-2-3），且结尾必然是b，符合的选项只有A，选A。