The following pages link to (Q4449534):
Displayed 23 items.
- Rigorous approximated determinization of weighted automata (Q385026) (← links)
- 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)
- Algorithmic aspects of a general modular decomposition theory (Q1026102) (← links)
- Transducer descriptions of DNA code properties and undecidability of antimorphic problems (Q1706156) (← links)
- Efficient algorithms for computing the inner edit distance of a regular language via transducers (Q1712004) (← links)
- On deterministic weighted automata (Q1799611) (← links)
- Finite sequentiality of unambiguous max-plus tree automata (Q2048206) (← links)
- Determinisability of unary weighted automata over the rational numbers (Q2055977) (← links)
- Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders (Q2200645) (← links)
- A disambiguation algorithm for weighted automata (Q2357105) (← links)
- Sequential? (Q2490822) (← links)
- A Disambiguation Algorithm for Finite Automata and Functional Transducers (Q2914715) (← links)
- On the Disambiguation of Weighted Automata (Q2947428) (← links)
- A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata (Q3526417) (← links)
- Crisp-determinization of weighted tree automata over strong bimonoids (Q5038197) (← links)
- (Q5090506) (← links)
- A Pattern Logic for Automata with Outputs (Q5859645) (← links)
- Regular Expressions and Transducers Over Alphabet-Invariant and User-Defined Labels (Q5859660) (← links)
- Bideterministic weighted automata (Q6108730) (← links)
- Bideterministic weighted automata (Q6186321) (← links)