6.

20/02/23

... Given $L\subseteq\Sigma*$ TFAE (The following are equivalent)

1. $L$ is the language of a DFA A -> $L=L^{DFA}A$
2. $L$ is the language of an NFA A -> $L=L^{NFA}A$
3. $L$ is the language of an $RE:E$ -> $L=L^{RE}E$

Given a $RE:E$ we