输入以下确定性有限自动机接受的语言的描述

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 0s,最多有一个 1.

的字符串

因此,接受的字符串是那些有两个或更多 1 或最多有一个 0 的字符串。请注意,此描述涵盖空字符串和短字符串,如 10011011(它们最多有一个 0).