scientific article; zbMATH DE number 1512706
From MaRDI portal
Publication:4508395
zbMath0957.03046MaRDI QIDQ4508395
Marie-Pierre Béal, Jacques Sakarovitch, Christophe Prieur, Olivier Carton
Publication date: 3 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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)
Related Items (5)
Hierarchical information and the synthesis of distributed strategies ⋮ Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations ⋮ Deciding sequentiability of finite-state transducers by finite-state pattern-matching. ⋮ Determinization of transducers over finite and infinite words. ⋮ Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
This page was built for publication:
