Abstract
A semigroup of languages is a set of languages considered with (and closed under) the operation of catenation. In other words, semigroups of languages are subsemigroups of power-semigroups of free semigroups. We prove that a (finite) semigroup is positively ordered if and only if it is a homomorphic image, under an order-preserving homomorphism, of a (finite) semigroup of languages. Hence it follows that a finite semigroup is [Formula: see text]-trivial if and only if it is a homomorphic image of a finite semigroup of languages.
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 callDisclaimer: 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.
