Abstract | ||
---|---|---|
In this paper, we study the continuity of rational functions realized by Buchi finite state transducers. It has been shown by Prieur that it can be decided whether such a function is continuous. We prove here that surprisingly, it cannot be decided whether such a function f has at least one point of continuity and that its continuity set C(f) cannot be computed. In the case of a synchronous rational function, we show that its continuity set is rational and that it can be computed. Furthermore we prove that any rational Pi(0)(2)-subset of Sigma(omega) for some alphabet Sigma is the continuity set C(f) of an omega-rational synchronous function f defined on Sigma(omega). |
Year | DOI | Venue |
---|---|---|
2008 | 10.1051/ita:2007050 | RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS |
Keywords | DocType | Volume |
infinitary rational relations,omega rational functions,topology,points of continuity,decision problems,omega rational languages,omega context-free languages | Journal | 42 |
Issue | ISSN | Citations |
1 | 0988-3754 | 2 |
PageRank | References | Authors |
0.41 | 10 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Olivier Carton | 1 | 381 | 40.97 |
Olivier Finkel | 2 | 208 | 30.17 |
Pierre Simonnet | 3 | 19 | 3.35 |