1 citations · 2 across the 11 of their papers we have counts for
Showing cs.CCShow all
3 papers · 1 filter
cs.CC2008
On the Continuity Set of an omega Rational Function
Olivier Carton, Olivier Finkel, Pierre Simonnet
In this paper, we study the continuity of rational functions realized by Büchi finite state transducers. It has been shown by Prieur that it can be decided whether such a function…
cs.CC2008
An omega-power of a context-free language which is Borel above Delta^0_omega
Jacques Duparc, Olivier Finkel
We use erasers-like basic operations on words to construct a set that is both Borel and above Delta^0_omega, built as a set V^ωwhere V is a language of finite words accepted by a p…
cs.CC2007
On the Accepting Power of 2-Tape Büchi Automata
Olivier Finkel
We show that, from a topological point of view, 2-tape Büchi automata have the same accepting power than Turing machines equipped with a Büchi acceptance condition. In particular,…