Deciding unambiguity and sequentiality of polynomially ambiguous min-plus automata
From MaRDI portal
Publication:5390010
Recommendations
- Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
- Finite sequentiality of unambiguous max-plus tree automata
- scientific article; zbMATH DE number 7559164
- scientific article; zbMATH DE number 2040921
- Which finitely ambiguous automata recognize finitely sequential functions? (extended abstract)
Cited in
(32)- Pumping lemmas for weighted automata
- Finite ambiguity and finite sequentiality in weighted automata over fields
- On the disambiguation of weighted automata
- A disambiguation algorithm for weighted automata
- New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems
- A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata
- Which finitely ambiguous automata recognize finitely sequential functions? (extended abstract)
- How to Tackle Integer Weighted Automata Positivity
- Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring
- A robust class of linear recurrence sequences
- scientific article; zbMATH DE number 7559164 (Why is no real title available?)
- scientific article; zbMATH DE number 7204387 (Why is no real title available?)
- Determinisability of unary weighted automata over the rational numbers
- Finite sequentiality of finitely ambiguous max-plus tree automata
- Weak cost register automata are still powerful
- Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
- Unambiguous automata denoting finitely sequential functions
- Polynomially ambiguous unary weighted automata over fields
- Rigorous approximated determinization of weighted automata
- Bideterministic weighted automata
- Finitely ambiguous and finitely sequential weighted automata over fields
- Max-plus automata
- Unambiguity in automata theory
- Degree of sequentiality of weighted automata
- Factorization Forests
- Unambiguity and fewness for nonuniform families of polynomial-size nondeterministic finite automata
- Multi-Valued Reasoning about Reactive Systems
- When are emptiness and containment decidable for probabilistic automata?
- Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata
- Limited non-determinism hierarchy of counter automata
- Finite sequentiality of unambiguous max-plus tree automata
- scientific article; zbMATH DE number 7407779 (Why is no real title available?)
This page was built for publication: Deciding unambiguity and sequentiality of polynomially ambiguous min-plus automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5390010)
