Normality in non-integer bases and polynomial time randomness

Javier Almarza, Santiago Figueira

It is known that if $x\in [0,1]$ is polynomial time random (i.e. no polynomial time computable martingale succeeds on the binary fractional expansion of $x$) then $x$ is normal in a…