Syntactic Nondeterministic Monoids
Antonios Kalampakas, Olympia Louscou-Bozapalidou · Journal of Discrete Mathematical Sciences and Cryptography · 2015
We construct the syntactic nondeterministic monoid associated with a subset L of a nondeterministic monoid M. It is the quotient of M by the greatest nondeterministic congruence∼L on M saturating L and is characterized by the classical universal property.