The following pages link to (Q4508395):
Displaying 5 items.
- Deciding sequentiability of finite-state transducers by finite-state pattern-matching. (Q1426166) (← links)
- Hierarchical information and the synthesis of distributed strategies (Q1629748) (← links)
- Determinization of transducers over finite and infinite words. (Q1853526) (← links)
- Squaring transducers: An efficient procedure for deciding functionality and sequentiality. (Q1853731) (← links)
- Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations (Q4825476) (← links)
