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

Question

令 L 为 DFA 接受的语言。令Ĺ为删除L的每个字符串的最后一个符号得到的语言。看看是否可以构造一个接受Ĺ的DFA。

如何解决这个特殊问题？

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

Answer 1

您的方法有 2 个问题：没有 唯一 之前的状态，可能有 很多，如果您将它们设为最终状态（如果不是），您大部分时间都在扰乱初始语言并添加一些额外的单词。但你在正确的轨道上。解决方案是删除最后一个状态，并添加一个新的最终状态，其中包含从所有先前状态到新的最终状态的 epsilon-transitions。