A Pattern Logic for Automata with Outputs
From MaRDI portal
Publication:5859645
DOI10.1142/S0129054120410038zbMath1458.68097OpenAlexW3092165010MaRDI QIDQ5859645
Nicolas Mazzocchi, Emmanuel Filiot, Jean-François Raskin
Publication date: 19 April 2021
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0129054120410038
Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the valuedness of finite transducers
- On the degree of ambiguity of finite automata
- Une caractérisation des fonctions séquentielles et des fonctions sous- séquentielles en tant que rélations rationnelles
- A pattern logic for automata with outputs
- Determinization of transducers over finite and infinite words.
- Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
- Economy of description for single-valued transducers
- Lexicographic decomposition of \(k\)-valued transducers
- Finite-Valued Weighted Automata.
- Degree of Sequentiality of Weighted Automata
- GENERAL ALGORITHMS FOR TESTING THE AMBIGUITY OF FINITE AUTOMATA AND THE DOUBLE-TAPE AMBIGUITY OF FINITE-STATE TRANSDUCERS
- Complexity of Subcases of Presburger Arithmetic
- On the Decidability of Bounded Valuedness for Transducers
- On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Regular Grammars and Finite Automata
- A note on finite-valued and finitely ambiguous transducers
- Decomposing Finite-Valued Transducers and Deciding Their Equivalence
- Path Logics for Querying Graphs: Combining Expressiveness and Efficiency
- Multi-Sequential Word Relations
- Unambiguous Automata Denoting Finitely Sequential Functions
- The unsolvability of the Equivalence Problem for Λ-Free nondeterministic generalized machines
- Quantitative Languages Defined by Functional Automata
This page was built for publication: A Pattern Logic for Automata with Outputs
