Pages that link to "Item:Q5401560"
From MaRDI portal
The following pages link to ON THE DISAMBIGUATION OF FINITE AUTOMATA AND FUNCTIONAL TRANSDUCERS (Q5401560):
Displaying 7 items.
- A unified framework for disambiguating finite transductions (Q1115635) (← links)
- Extraction and recoding of input-\(\varepsilon\)-cycles in finite state transducers. (Q1426170) (← links)
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata (Q2147688) (← links)
- A disambiguation algorithm for weighted automata (Q2357105) (← links)
- A description of \(\operatorname{Aut} (d V_n)\) and \(\operatorname{Out} (d V_n)\) using transducers (Q2694835) (← links)
- On the Disambiguation of Weighted Automata (Q2947428) (← links)
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata (Q6535954) (← links)