确定性有限自动机的理论方法

Question

令L为DFA接受的语言。 假设Ĺ是通过删除L的每个字符串的最后一个符号而获得的语言。找出是否有可能构造一个接受Ĺ的DFA。

如何解决这个特定问题？

通过将最终状态的先前状态仅作为最终状态并忽略旧的最终状态，可能的解决方案是（我的方法）。 这是正确的吗 ？？

Answer 1

您的方法有两个问题：没有唯一的先行状态，可能有很多 ，如果将它们定为最终状态（如果不是最终状态），则大多数时候会干扰初始语言并在其中添加一些额外的单词。 但是您走在正确的轨道上。 解决方案是删除最后一个状态，并通过从所有先前状态到新的最终状态的epsilon过渡添加新的最终状态。