Determinization of transducers over infinite words
MP Béal, O Carton - … : 27th International Colloquium, ICALP 2000 Geneva …, 2000 - Springer
… We give an effective characterization of sequential functions over infinite words. We also
describe an algorithm to determinize transducers over infinite words. … We consider
transducers and functions over infinite words and …
describe an algorithm to determinize transducers over infinite words. … We consider
transducers and functions over infinite words and …
Determinization of transducers over infinite words: the general case
MP Béal, O Carton - Theory of Computing Systems, 2004 - Springer
We consider transducers over infinite words with a Büchi or a Muller acceptance condition.
We give characterizations of functions that can be realized by Büchi and Muller sequential
transducers. We describe an algorithm to determinize transducers defining functions over
infinite words.
We give characterizations of functions that can be realized by Büchi and Muller sequential
transducers. We describe an algorithm to determinize transducers defining functions over
infinite words.
Showing the best results for this search. See all results