The following pages link to (Q3769981):
Displayed 50 items.
- Morphic congruences and D0L languages (Q1341732) (← links)
- Polynomial closure of group languages and open sets of the Hall topology (Q1349899) (← links)
- Sofic shifts with synchronizing presentations (Q1351451) (← links)
- Monoids respecting \(n\)-chains of intervals (Q1355653) (← links)
- On calculating the Krohn-Rhodes decomposition of automata (Q1366274) (← links)
- A method for the construction of complete congruences on lattices of pseudovarieties (Q1380059) (← links)
- Finite semigroup varieties defined by programs (Q1390876) (← links)
- A proof of Simon's theorem on piecewise testable languages (Q1391537) (← links)
- An algebraic approach to data languages and timed languages (Q1398367) (← links)
- The size of power automata. (Q1401251) (← links)
- Unambiguous Büchi automata. (Q1401292) (← links)
- Finite semigroups, feedback, and the Letichevsky criteria on non-empty words in finite automata. (Q1401334) (← links)
- Join decompositions of pseudovarieties involving semigroups with commuting idempotents (Q1602666) (← links)
- The word problem for omega-terms over the Trotter-Weil hierarchy (Q1635816) (← links)
- Left and right negatively orderable semigroups and a one-sided version of Simon's theorem (Q1644738) (← links)
- The \(\kappa\)-word problem over \(\mathsf{DRH}\) (Q1676315) (← links)
- An application of a theorem of Ash to finite covers. (Q1770600) (← links)
- Catalan monoids, monoids of local endomorphisms, and their presentations (Q1815355) (← links)
- Minimal automaton for a factorial, transitive, and rational language (Q1822985) (← links)
- Automata, Boolean matrices, and ultimate periodicity. (Q1854295) (← links)
- Languages defined with modular counting quantifiers (Q1854424) (← links)
- Shuffle on positive varieties of languages (Q1884959) (← links)
- Vectorial languages and linear temporal logic (Q1884965) (← links)
- Quantaloids, enriched categories and automata theory (Q1899876) (← links)
- Locality of DS and associated varieties (Q1909729) (← links)
- Operators and products in the lattice of existence varieties of regular semigroups (Q1916035) (← links)
- Remarks on isomorphisms of regressive transformation semigroups (Q1916048) (← links)
- Profinite categories, implicit operations and pseudovarieties of categories (Q1916401) (← links)
- Finite basis problem for involution monoids of unitriangular Boolean matrices (Q1987544) (← links)
- Inverse monoids of partial graph automorphisms (Q2038891) (← links)
- Varieties (Q2074217) (← links)
- The factorisation forest theorem (Q2074219) (← links)
- Geometrically closed positive varieties of languages (Q2084767) (← links)
- Regularity conditions for iterated shuffle on commutative regular languages (Q2117658) (← links)
- The commutative closure of shuffle languages over group languages is regular (Q2117662) (← links)
- State complexity of permutation and related decision problems on alphabetical pattern constraints (Q2117669) (← links)
- The monoid of orientation-preserving \(k\)-extensive transformations (Q2143181) (← links)
- Well quasi-orders arising from finite ordered semigroups (Q2163999) (← links)
- On formations of monoids (Q2184784) (← links)
- A natural partial order on partition order-decreasing transformation semigroups (Q2196449) (← links)
- Representation theory of order-related monoids of partial functions as locally trivial category algebras (Q2199650) (← links)
- On nilpotent subsemigroups of the order-preserving and decreasing transformation semigroups (Q2200899) (← links)
- On the computational power of programs over \(\mathsf{BA}_2\) monoid (Q2232262) (← links)
- Membership of \(\mathbf A\vee\mathbf G\) for classes of finite weakly abundant semigroups. (Q2259358) (← links)
- Implicit operations on finite \({\mathcal J}\)-trivial semigroups and a conjecture of I. Simon (Q2276995) (← links)
- A sufficient condition to polynomially compute a minimum separating DFA (Q2282132) (← links)
- The Booleanization of an inverse semigroup (Q2297058) (← links)
- Green's relations in deterministic finite automata (Q2311884) (← links)
- Structural aspects of semigroups based on digraphs (Q2328130) (← links)
- Syntactic structures of regular languages (Q2333830) (← links)