Languages and formations generated by D4 and Q8

We describe the two classes of languages recognized by the groups D4 and Q8, respectively. Then we show that the formations of languages generated by these two classes are the same. We also prove that these two formations are closed under inverses of morphisms, which yields a language theoretic proof of the fact that the group formations generated by D4 and Q8, respectively, are two equal varieties