scientific article; zbMATH DE number 1512706
From MaRDI portal
Publication:4508395
zbMATH Open0957.03046MaRDI QIDQ4508395FDOQ4508395
Marie-Pierre Béal, Jacques Sakarovitch, Christophe Prieur, Olivier Carton
Publication date: 3 October 2000
Title of this publication is not available (Why is that?)
Recommendations
- Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
- scientific article; zbMATH DE number 1870549
- scientific article; zbMATH DE number 1773097
- The complexity of transducer synthesis from multi-sequential specifications
- scientific article; zbMATH DE number 2050927
- scientific article; zbMATH DE number 7561621
- Minimization algorithms for sequential transducers
- Iterating transducers in the large (extended abstract)
- Characterizing the rational functions by restarting transducers
- Encoding transition systems in sequent calculus
decidabilityfinite transducerfunctional relationcomplexity of decision proceduressequential relation
Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Cited In (5)
- Hierarchical information and the synthesis of distributed strategies
- Deciding sequentiability of finite-state transducers by finite-state pattern-matching.
- Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
- Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations
- Determinization of transducers over finite and infinite words.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4508395)
