 |
HAL UPEC - UPEM Portal |  |
 |
Conference papers
Determinization of transducers over infinite words
Abstract : We study the determinization of transducers over infinite words. We consider transducers with all their states final. We give an effective characterization of sequential functions over infinite words. We also describe an algorithm to determinize transducers over infinite words.
https://hal-upec-upem.archives-ouvertes.fr/hal-00619850
Contributor : Marie-Pierre Béal Connect in order to contact the contributor
Submitted on : Thursday, October 6, 2011 - 1:52:48 PM
Last modification on : Tuesday, October 19, 2021 - 11:25:53 AM
Long-term archiving on: : Saturday, January 7, 2012 - 2:21:09 AM
Contributor : Marie-Pierre Béal Connect in order to contact the contributor
Submitted on : Thursday, October 6, 2011 - 1:52:48 PM
Last modification on : Tuesday, October 19, 2021 - 11:25:53 AM
Long-term archiving on: : Saturday, January 7, 2012 - 2:21:09 AM
Files
hal.pdf
Files produced by the author(s)