This projects implements the determinization algorithm for transducers over infinite words introduced in by Béal and Carton in Theoretical Computer Science, volume 289, 2002.
Determinization of transducers on infinite words
This projects implements the determinization algorithm for transducers over infinite words introduced in by Béal and Carton in Theoretical Computer Science, volume 289, 2002.
Determinization of transducers on infinite words