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

Question

让L成为DFA接受的语言。设L是通过删除L的每个字符串的最后一个符号而获得的语言。找出是否可以构建接受L的DFA。

如何处理这个特殊问题？

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

Answer 1

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