Abstract

The main goal in this paper is to use a dual equivalence in automata theory started in [RBBCL13] and developed in [BBCLR14] to prove a general version of the Eilenberg-type theorem presented in [BBPSE12]. Our principal results confirm the existence of a bijective correspondence between formations of (non-necessarily finite) monoids, that is, classes of monoids closed under taking epimorphic images and finite subdirect products, with formations of languages, which are classes of (non-necessarily regular) formal languages closed under coequational properties. Applications to non-r-disjunctive languages are given.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author

More From: Scientific Annals of Computer Science

Paper Title
Journal
Date
Author

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.