Closure of varieties of languages under products with counter

摘要

We characterize the varieties of rational languages closed under products with counter. They are exactly the varieties that correspond via Eilenberg's theorem to the varieties of monoids closed under inverse LGsol-relational morphisms. This yields some decidability results for certain classes of rational languages.