ON THE UNDECIDABILITY OF FREENESS OF MATRIX SEMIGROUPS
From MaRDI portal
Recommendations
- ON THE UNDECIDABILITY OF THE FREENESS OF INTEGER MATRIX SEMIGROUPS
- On the problem of freeness of multiplicative matrix semigroups
- Freeness problem for matrix semigroups of Parikh matrices
- On the decidability of semigroup freeness.
- The freeness problem over matrix semigroups and bounded languages
- Remarks concerning the freeness problem over morphism and matrix semigroups.
- On the undecidability of the identity correspondence problem and its applications for word and matrix semigroups
- On the decidability of membership in matrix-exponential semigroups
- Undecidability of equations in free Lie algebras
Cites work
Cited in
(46)- More secure version of a Cayley hash function
- Vector and scalar reachability problems in \(\operatorname{SL}(2, \mathbb{Z})\)
- Decision problems for semi-Thue systems with a few rules
- Polynomially ambiguous probabilistic automata on restricted languages
- On injectivity of quantum finite automata
- The freeness problem over matrix semigroups and bounded languages
- On the problem of freeness of multiplicative matrix semigroups
- Freeness properties of weighted and probabilistic automata over bounded languages
- A characterization of free pairs of upper triangular free monoid morphisms
- On undecidability bounds for matrix decision problems
- Improved matrix pair undecidability results
- Scalar ambiguity and freeness in matrix semigroups over bounded languages
- On the decidability of semigroup freeness.
- Matrix semigroup freeness problems in \(\mathrm{SL}(2,\mathbb {Z})\)
- Vector ambiguity and freeness problems in \(\mathrm{SL} (2,\mathbb {Z})\)
- Remarks concerning the freeness problem over morphism and matrix semigroups.
- Undecidability bounds for integer matrices using Claus instances
- On the undecidability of the identity correspondence problem and its applications for word and matrix semigroups
- Reachability problems for one-dimensional piecewise affine maps
- Compositions of linear functions and applications to hashing
- On free semigroups of affine maps on the real line
- MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM
- NUMBER SYSTEMS AND THE INJECTIVITY PROBLEM FOR MATRIX REPRESENTATIONS OF FREE MONOIDS
- Post Correspondence Problem and Small Dimensional Matrices
- scientific article; zbMATH DE number 6902897 (Why is no real title available?)
- On equality of Hausdorff and affinity dimensions, via self-affine measures on positive subsystems
- Some decision problems on integer matrices
- Products of matrices and recursively enumerable sets
- A Kraft-McMillan inequality for free semigroups of upper-triangular matrices
- Relations in the semigroup of \(2\times 2\) upper-triangular matrices
- On the Identity Problem for the Special Linear Group and the Heisenberg Group.
- Polynomially Ambiguous Probabilistic Automata on Restricted Languages
- Acceptance Ambiguity for Quantum Automata
- The symmetric Post correspondence problem, and errata for the freeness problem for matrix semigroups
- Freeness problem for matrix semigroups of Parikh matrices
- Substitution invariant Sturmian words and binary trees
- ON THE UNDECIDABILITY OF THE FREENESS OF INTEGER MATRIX SEMIGROUPS
- Freeness and 𝑆-arithmeticity of rational Möbius groups
- EDT0L grammars with only one variable have tractable generating functions
- The membership problem for subsemigroups of \(\operatorname{GL}_2(\mathbb{Z})\) is \textbf{NP}-complete
- Cryptanalysis of a Cayley hash function based on affine maps in one variable over a finite field
- On the identity and group problems for complex Heisenberg matrices
- On nonlinear iterated function systems with overlaps
- Unique expansions in number systems via refinement equations
- The freeness problem for automaton semigroups
- Reachability problems in quaternion matrix and rotation semigroups
This page was built for publication: ON THE UNDECIDABILITY OF FREENESS OF MATRIX SEMIGROUPS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4513303)
