Integer weighted automata on infinite words
From MaRDI portal
Publication:832935
DOI10.1007/978-3-030-81508-0_14OpenAlexW3189314826MaRDI QIDQ832935
Vesa Halava, Reino Niskanen, Igor Potapov, Tero J.Harju
Publication date: 25 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-81508-0_14
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Some undecidable termination problems for semi-Thue systems
- Handbook of weighted automata
- Small universal Turing machines
- Decision problems for semi-Thue systems with a few rules
- On decidability and complexity of low-dimensional robot games
- Weighted automata on infinite words in the context of attacker-defender games
- Undecidability of infinite post correspondence problem for instances of size 8
- Quantitative languages
- Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words
- What’s Decidable about Weighted Automata?
- Undecidability of infinite post correspondence problem for instances of Size 9
- Small Semi-Thue System Universal with Respect to the Termination Problem
- On the Complexity of Equivalence and Minimisation for Q-weighted Automata
This page was built for publication: Integer weighted automata on infinite words
