The following pages link to (Q3979259):
Displayed 11 items.
- Subsequential transducers: a coalgebraic perspective (Q618167) (← links)
- Varieties and rational functions (Q673101) (← links)
- A proof of Choffrut's theorem on subsequential functions (Q1285595) (← links)
- Minimization algorithms for sequential transducers (Q1575676) (← links)
- Squaring transducers: An efficient procedure for deciding functionality and sequentiality. (Q1853731) (← links)
- Minimizing subsequential transducers: a survey. (Q1853736) (← links)
- Syntactical and automatic properties of sets of polynomials over finite fields (Q2469487) (← links)
- Coalgebraising Subsequential Transducers (Q2873665) (← links)
- Morphisms and Minimisation of Weighted Automata (Q5038573) (← links)
- When is a functional tree transduction deterministic? (Q5044741) (← links)
- Ramified Corecurrence and Logspace (Q5739361) (← links)