ON THE DISAMBIGUATION OF FINITE AUTOMATA AND FUNCTIONAL TRANSDUCERS
From MaRDI portal
Publication:5401560
DOI10.1142/S0129054113400224zbMath1286.68292MaRDI QIDQ5401560
Publication date: 10 March 2014
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Related Items (3)
From LTL to unambiguous Büchi automata via disambiguation of alternating automata ⋮ On the Disambiguation of Weighted Automata ⋮ A disambiguation algorithm for weighted automata
Cites Work
This page was built for publication: ON THE DISAMBIGUATION OF FINITE AUTOMATA AND FUNCTIONAL TRANSDUCERS