Pages that link to "Item:Q1246508"
From MaRDI portal
The following pages link to Une caractérisation des fonctions séquentielles et des fonctions sous- séquentielles en tant que rélations rationnelles (Q1246508):
Displaying 40 items.
- Determinization of fuzzy automata via factorization of fuzzy states (Q508600) (← links)
- An optimal pre-determinization algorithm for weighted transducers (Q703490) (← links)
- Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton (Q703577) (← links)
- Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring (Q764364) (← links)
- Look-ahead removal for total deterministic top-down tree transducers (Q906394) (← links)
- Addition molle et fonctions p-locales (Q1083868) (← links)
- Rational equivalence relations (Q1089801) (← links)
- Linear numeration systems of order two (Q1105378) (← links)
- Confluent linear numeration systems (Q1202923) (← links)
- On the sequentiality of the successor function (Q1383150) (← links)
- Deciding sequentiability of finite-state transducers by finite-state pattern-matching. (Q1426166) (← links)
- Minimization algorithms for sequential transducers (Q1575676) (← links)
- Visibly pushdown transducers (Q1672009) (← links)
- Determinization of transducers over finite and infinite words. (Q1853526) (← links)
- Squaring transducers: An efficient procedure for deciding functionality and sequentiality. (Q1853731) (← links)
- Max-plus automata (Q2074207) (← links)
- Disambiguation of weighted tree automata (Q2096595) (← links)
- Sequentiality of group-weighted tree automata (Q2232288) (← links)
- Trimming visibly pushdown automata (Q2344743) (← links)
- Sequential? (Q2490822) (← links)
- Determinations of weighted finite automata over commutative idempotent MF-semirings (Q2888836) (← links)
- Degree of Sequentiality of Weighted Automata (Q2988370) (← links)
- Multi-sequential Word Relations (Q3451110) (← links)
- On the continuity set of an Omega rational function (Q3514642) (← links)
- A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata (Q3526417) (← links)
- On-line finite automata for addition in some numeration systems (Q4256145) (← links)
- (Q4611380) (← links)
- Multi-Sequential Word Relations (Q4640041) (← links)
- On the Topological Complexity of Infinitary Rational Relations (Q4825475) (← links)
- Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations (Q4825476) (← links)
- (Q5061527) (← links)
- (Q5090448) (← links)
- (Q5092330) (← links)
- Radix enumeration of rational languages (Q5190076) (← links)
- (Q5376652) (← links)
- FINITELY SUBSEQUENTIAL TRANSDUCERS (Q5696948) (← links)
- Over Which Monoids is the Transducer Determinization Procedure Applicable? (Q5739012) (← links)
- A Pattern Logic for Automata with Outputs (Q5859645) (← links)
- Transducing reversibly with finite state machines (Q5919580) (← links)
- Definability Results for Top-Down Tree Transducers (Q6169966) (← links)
