The most important tool for classifying recognizable languages is Eilenberg’s variety theorem [1], which gives a one-to-one correspondence between (pseudo)-varieties of finite semigroups and varieties of recognizable languages. Varieties of recognizable languages are classes of recognizable languages closed under union, intersection, complement, left and right quotients and inverse morphisms. R...