確定性有限自動機的理論方法

Question

設L是DFA接受的語言。設L是通過刪除L的每個字符串的最後一個符號而獲得的語言。找出是否可以構造接受L的DFA。

如何解決這個問題？

一個可能的解決方案可以是（我的方法）通過將最終狀態的前一個狀態作爲最終狀態並省略舊的最終狀態。這是對的嗎 ？？

Answer 1

你的方法有2個問題：沒有獨特前的狀態，可以有很多，如果你讓他們最後的（如果不是），你的大部分時間perturbating初始語言並添加一些額外的單詞。但是你在正確的軌道上。解決方法是刪除最後一個狀態，並添加一個新的最終狀態，其中包含從前面所有狀態到最終狀態的epsilon轉換。