Pages that link to "Item:Q2905326"
From MaRDI portal
The following pages link to On the decidability of semigroup freeness (Q2905326):
Displayed 18 items.
- Remarks concerning the freeness problem over morphism and matrix semigroups. (Q300262) (← links)
- Products of matrices and recursively enumerable sets (Q473201) (← links)
- A Kraft-McMillan inequality for free semigroups of upper-triangular matrices (Q476180) (← links)
- Vector and scalar reachability problems in \(\operatorname{SL}(2, \mathbb{Z})\) (Q1740664) (← links)
- On injectivity of quantum finite automata (Q2229947) (← links)
- The freeness problem over matrix semigroups and bounded languages (Q2252531) (← links)
- On the problem of freeness of multiplicative matrix semigroups (Q2268869) (← links)
- Freeness properties of weighted and probabilistic automata over bounded languages (Q2280319) (← links)
- On the membership problem for some subgroups of \(SL_2(\mathbf{Z})\) (Q2322854) (← links)
- Solving the membership problem for parabolic Möbius monoids (Q2416388) (← links)
- A characterization of free pairs of upper triangular free monoid morphisms (Q2417854) (← links)
- Matrix Semigroup Freeness Problems in SL $$(2,\mathbb {Z})$$ (Q2971140) (← links)
- (Q4576543) (← links)
- Relations in the semigroup of 2 × 2 upper-triangular matrices (Q4960461) (← links)
- Acceptance Ambiguity for Quantum Automata (Q5092433) (← links)
- Freeness Problem for Matrix Semigroups of Parikh Matrices (Q5164864) (← links)
- Strongly automatic semigroups (Q5401569) (← links)
- The membership problem for subsemigroups of \(\operatorname{GL}_2(\mathbb{Z})\) is \textbf{NP}-complete (Q6178465) (← links)