完整的问题是：
“一个人正在考虑如何测试 DFA 是否接受给定正则语言的所有字符串。假设由正则表达式 (0+11)*1 给出的语言代表字母表 E={0,1} 上的语言奇数个 1，总是以 1 结尾，其他可能的 1 在偶数长度的组中。可能的 DFA 如下所示：
描述如何测试 DFA 是否接受该语言的所有字符串。”
即使有人告诉我 DFA 是正确的，我也可以看到它是正确的。我在想，给定一个 DFA，可以使用状态消除或路径构造来获得 RE。或者我们可以从 RE 开始，获得 e-NFA，然后是 DFA 并简化它。所以，从其中一个开始，我们可以使用转换方法来获得另一个，这就是我的想法。
但是这个问题的表述方式让我觉得还有某种其他系统的方法来测试 DFA（用笔和纸，而不是通过程序）。
所以我的问题是，假设转换方法就足够了，我是否遗漏了什么？我想一个问题可能是没有得到完全相同的表达式或 DFA，因此可能很难看到等效性。