Multi-Solid Varieties and Mh-Transducers
Slavcho Shtrakov
TL;DR
This paper explores multi-hypersubstitutions and colored terms, establishing conditions for pre-completeness of varieties and providing an automata-based realization of these concepts.
Contribution
It introduces necessary and sufficient conditions for a variety to be pre-complete and offers an automata realization of multi-hypersubstitutions and colored terms.
Findings
Conditions for pre-completeness of varieties
Automata realization of multi-hypersubstitutions
Analysis of colored terms and multi-hypersubstitutions
Abstract
We consider the concepts of colored terms and multi-hypersubstitutions. Studying the multi-hypersubstitutions we find out necessary and sufficient conditions a variety to be pre-complete. Finally we give an automata realization of multi-hypersubstitutions and colored terms.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
Topicssemigroups and automata theory · Algorithms and Data Compression · Mathematical Dynamics and Fractals