這是Ardens Lemma的作品嗎？ | 有限自動機

Question

我需要你的幫助。 當我收到這樣的問題時

當我看到答案時，它看起來像這樣

這一定是Ardens Lemma的作品吧？ 我只想為什么老師先消除E1然后消除E2，為什么不消除E2然后消除E1？

第二個問題：我想知道是否必須先將NFA轉換為DFA，然后由Ardens Lemma進行？

Answer 1

問題1：可能是因為$ E_1 $不在其等式的右側出現。 否則，您將無法輕松消除它，因為用右手替換它會導致新的情況。

問題2： Arden的規則適用於集合方程。 這些方程式衍生自哪種自動機都沒關系。 但是從確定性方程式中，您可以獲得更簡單的方程式。