下图所示的有限自动机中,s0是初始状态,s3为终止状态,该自动机不能识别( )

资格题库2022-08-02  47

问题 下图所示的有限自动机中,s0是初始状态,s3为终止状态,该自动机不能识别(  )。A.ababB.aaaaC.babbD.abba

选项 A.abab
B.aaaa
C.babb
D.abba

答案 A

解析 本题考查程序语言基础知识。
    一个有限自动机所识别的语言是从开始状态到终止状态所有路径上的字符串的集合。要判断一个字符串能否被指定的自动机识别,就看在该自动机的状态图中能否找到一条从开始状态到达终止状态的路径,且路径上的字符串等于需要识别的字符串。
    对于字符串“abab”,其识别路径为s0→s1→s2→s1→s2,字符串结束时的状态不是终止状态,所以该自动机不能识别“abab”。
    对于字符串“aaaa”,其识别路径为s0→s1→s3→s3→s3,字符串结束时的状态是终止状态,所以该自动机可以识别“aaaa”。
    对于字符串“babb”,其识别路径为s0→s2→s1→s2→s3,字符串结束时的状态是终止状态,所以该自动机可以识别“babb”。
    对于字符串“abba”,其识别路径为s0→s1→s2→s3→s3,字符串结束时的状态是终止状态,所以该自动机可以识别“abba”。
转载请注明原文地址:https://tihaiku.com/congyezige/2427930.html

最新回复(0)