Finite automata DFA和NFA等效语言

我被要求建立一个DFA和NFA B，使得L（D）=L（N）具有一些特定的条件。我不是在寻求解决方案或答案；我只是想确定我有正确的方法来解决这个问题

首先，我对“构建”这个词有点困惑。他们只是想要一个自动绘图机吗？那会被认为是“建成的”吗

我正在考虑画一个符合这个条件的NFA B。然后使用这张图，我将构造一个等价的DFA。有一个定理说等价的自动机有相同的语言。所以我不需要做任何进一步的事情来证明L（A）=L（B）对吗

---

谢谢

这听起来是对的。只要构造任何接受语言L（A）的NFA。然后确定NFA产生DFA B。DFA B也应接受L（A）。DFA和NFA在其接受的语言中是等效的