某有限状态自动机的状态图如下图所示(状态0是初态,状态2是终态),则该自动机不能识别() 。
abab
bbab
bbaa
aabb
本题考查程序语言处理基础知识。从状态图的状态0出发,识别a后到达状态0,识别b后到达状态1,由于不存在从状态1出发识别a的状态转移,因此,abab不能被该自动机识别。识别aabb的状态转移路是状态0—状态0—状态1—状态2。识别bbaa的状态转移路是状态0—状态1—状态2—状态2—状态2。识别bbab的状态转移路是状态0—状态1—状态2—状态2—状态2。