Regular functions of infinite words are (partial) functions realized by
...
We introduce two-dimensional toroidal arrays that are a variant of the d...
We give two different proofs of the fact that non-oblivious selection vi...
M. Levin defined a real number x that satisfies that the sequence of the...
We prove the equivalence of two classes of counter machines and one clas...
A word-to-word function is continuous for a class of languages V
if its ...
We prove that the Büchi topology, the automatic topology, the alphabetic...