输入以下确定性有限自动机接受的语言的描述
Enter a description of the language accepted by following Deterministic Finite Automata
我试图将它最小化,但它没有帮助,所以这是欺骗我的 DFA:
这是一些被拒绝的字符串,但我没有从中想出解决方案...
1、00、000、001、010、100、0000、0001、0010、0100、1000、00000、00001、00010、00100、01000、10000
对于像这样的问题,DFA 有很多接受状态,推理 DFA 拒绝 的字符串而不是接受的字符串通常是个好主意。
在这种情况下,只声明q2和q4 reject,rejections描述的语言更直接。要到达 q2,您需要 000*
。要到达 q4,您需要 000*10*
或 0100*
或 1000*
.
所以被拒绝的字符串是那些至少有 2 0
s,最多有一个 1
.
的字符串
因此,接受的字符串是那些有两个或更多 1
或最多有一个 0
的字符串。请注意,此描述涵盖空字符串和短字符串,如 1
、0
、01
、10
和 11
(它们最多有一个 0
).
我试图将它最小化,但它没有帮助,所以这是欺骗我的 DFA:
这是一些被拒绝的字符串,但我没有从中想出解决方案...
1、00、000、001、010、100、0000、0001、0010、0100、1000、00000、00001、00010、00100、01000、10000
对于像这样的问题,DFA 有很多接受状态,推理 DFA 拒绝 的字符串而不是接受的字符串通常是个好主意。
在这种情况下,只声明q2和q4 reject,rejections描述的语言更直接。要到达 q2,您需要 000*
。要到达 q4,您需要 000*10*
或 0100*
或 1000*
.
所以被拒绝的字符串是那些至少有 2 0
s,最多有一个 1
.
因此,接受的字符串是那些有两个或更多 1
或最多有一个 0
的字符串。请注意,此描述涵盖空字符串和短字符串,如 1
、0
、01
、10
和 11
(它们最多有一个 0
).