Theorem The following are equivalent: L=L(R) for some Regex R L=L(M) for some DFSA M L=L(M) for some NFSA M L=L(G) for some Right-Linear Grammar G L=L(G) for some Strict Right Linear Grammar G