On the Decidability of Membership in Matrix-exponential Semigroups
From MaRDI portal
Publication:5215447
DOI10.1145/3286487zbMath1481.20197OpenAlexW2946260851WikidataQ115522534 ScholiaQ115522534MaRDI QIDQ5215447
Joao Sousa-Pinto, Amaury Pouly, Joël Ouaknine, James Worrell
Publication date: 11 February 2020
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3286487
hybrid automatalinear forms in logarithmscommuting matricesmatrix logarithmsmatrix exponentialmatrix reachability
Semigroups of transformations, relations, partitions, etc. (20M20) Free semigroups, generators and relations, word problems (20M05) Undecidability and degrees of sets of sentences (03D35) Matrix exponential and similar functions of matrices (15A16)
Related Items