这是Ardens Lemma的作品吗？ | 有限自动机

Question

我需要你的帮助。 当我收到这样的问题时

当我看到答案时，它看起来像这样

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

第二个问题：我想知道是否必须先将NFA转换为DFA，然后由Ardens Lemma进行？

Answer 1

问题1：可能是因为$ E_1 $不在其等式的右侧出现。 否则，您将无法轻松消除它，因为用右手替换它会导致新的情况。

问题2： Arden的规则适用于集合方程。 这些方程式衍生自哪种自动机都没关系。 但是从确定性方程式中，您可以获得更简单的方程式。