Advanced Search

Match of the following rules

Add Sub-clause

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

The search session has expired. Please query the service again.

Currently displaying 1 – 1 of 1

Order by Relevance | Title | Year of publication

Automata, Borel functions and real numbers in Pisot base

Benoit Cagnard; Pierre Simonnet — 2007

RAIRO - Theoretical Informatics and Applications

This note is about functions ƒ : whose graph is recognized by a Büchi finite automaton on the product alphabet . These functions are Baire class 2 in the Baire hierarchy of Borel functions and it is decidable whether such function are continuous or not. In 1920 W. Sierpinski showed that a function $f : ℝ \to ℝ$ is Baire class 1 if and only if both the overgraph and the undergraph of are . We show that such characterization is also true for functions on infinite words if we replace the real ordering by the...

Page 1

Download Results (CSV)