Pages that link to "Item:Q1241982"
From MaRDI portal
The following pages link to Sur une variante des fonctions séquentielles (Q1241982):
Displaying 29 items.
- Bounded repairability of word languages (Q394744) (← links)
- Subsequential transducers: a coalgebraic perspective (Q618167) (← links)
- Synchronized rational relations of finite and infinite words (Q685453) (← links)
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure (Q890383) (← links)
- Addition molle et fonctions p-locales (Q1083868) (← links)
- Counting with rational functions (Q1115616) (← links)
- A unified framework for disambiguating finite transductions (Q1115635) (← links)
- Deterministic synchronization of automata with bounded delay (Q1127313) (← links)
- A closure property of deterministic context-free languages (Q1149789) (← links)
- Une caractérisation des fonctions séquentielles et des fonctions sous- séquentielles en tant que rélations rationnelles (Q1246508) (← links)
- A construction on finite automata that has remained hidden (Q1275469) (← links)
- Deciding sequentiability of finite-state transducers by finite-state pattern-matching. (Q1426166) (← links)
- Minimization algorithms for sequential transducers (Q1575676) (← links)
- Determinization of transducers over finite and infinite words. (Q1853526) (← links)
- Squaring transducers: An efficient procedure for deciding functionality and sequentiality. (Q1853731) (← links)
- Minimizing subsequential transducers: a survey. (Q1853736) (← links)
- On the representation of finite deterministic 2-tape automata (Q1960654) (← links)
- Algorithms for probabilistic and stochastic subsequential failure transducers (Q2117672) (← links)
- Output sum of transducers: limiting distribution and periodic fluctuation (Q2344821) (← links)
- Variances and covariances in the central limit theorem for the output of a transducer (Q2349966) (← links)
- Sequential? (Q2490822) (← links)
- Coalgebraising Subsequential Transducers (Q2873665) (← links)
- Substructural Proofs as Automata (Q3179272) (← links)
- Reducing Acyclic Cover Transducers (Q3503893) (← links)
- (Q3906456) (← links)
- Semantic Foundations for Deterministic Dataflow and Stream Processing (Q5041103) (← links)
- EDIT-DISTANCE OF WEIGHTED AUTOMATA: GENERAL DEFINITIONS AND ALGORITHMS (Q5696947) (← links)
- FINITELY SUBSEQUENTIAL TRANSDUCERS (Q5696948) (← links)
- Algorithms for Probabilistic and Stochastic Subsequential Failure Transducers (Q6070754) (← links)
