Sequential?
From MaRDI portal
Publication:2490822
DOI10.1016/j.tcs.2006.01.028zbMath1160.68419OpenAlexW4205548359MaRDI QIDQ2490822
Sylvain Lombardy, Jacques Sakarovitch
Publication date: 18 May 2006
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2006.01.028
Related Items (18)
Determinization of timed Petri nets behaviors ⋮ Introduction to tropical series and wave dynamic on them ⋮ A contribution to the determinization of max-plus automata ⋮ Polynomially ambiguous unary weighted automata over fields ⋮ Bideterministic weighted automata ⋮ Bideterministic weighted automata ⋮ Degree of Sequentiality of Weighted Automata ⋮ Over Which Monoids is the Transducer Determinization Procedure Applicable? ⋮ Unnamed Item ⋮ Supervisory control of (max,+) automata: extensions towards applications ⋮ Noncommutative rational Pólya series ⋮ On deterministic weighted automata ⋮ Unnamed Item ⋮ Determinisability of unary weighted automata over the rational numbers ⋮ On some decidability questions concerning supports of rational series ⋮ Finite ambiguity and finite sequentiality in weighted automata over fields ⋮ New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems ⋮ Compositions of (max,+) automata
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
- Limitedness theorem on finite automata with distance functions
- On the degree of ambiguity of finite automata
- Transductions des langages de Chomsky
- Sur une variante des fonctions séquentielles
- La finitude des représentations linéaires des semi-groupes est decidable
- Une caractérisation des fonctions séquentielles et des fonctions sous- séquentielles en tant que rélations rationnelles
- A proof of Choffrut's theorem on subsequential functions
- Finite-valued distance automata
- Derivatives of rational expressions with multiplicity
- Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
- Minimizing subsequential transducers: a survey.
- Economy of description for single-valued transducers
- On the Burnside problem for semigroups of matrices in the \((\max,+)\) algebra
- Multitape one-way nonwriting automata
- On the Determinization of Weighted Finite Automata
- Sequential Functions
- Conjugacy and Equivalence of Weighted Automata and Functional Transducers
- DECIDABILITY OF THE EQUIVALENCE PROBLEM FOR FINITELY AMBIGUOUS FINANCE AUTOMATA
- Automata, Languages and Programming
- Asymptotic behavior in a heap model with two pieces
This page was built for publication: Sequential?
