Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semirings
-
Published:2024-06
Issue:
Volume:1002
Page:114599
-
ISSN:0304-3975
-
Container-title:Theoretical Computer Science
-
language:en
-
Short-container-title:Theoretical Computer Science
Author:
Droste ManfredORCID,
Kuich Werner
Reference17 articles.
1. Rational Series and Their Languages;Berstel,1988
2. Some decision problems on integer matrices;Choffrut;RAIRO Theor. Inform. Appl.,2005
3. Decidability boundaries for the finite-image property of weighted finite automata;Droste;Int. J. Found. Comput. Sci.,2023
4. Weighted automata, chapter 4;Droste,2021