Valós számok kódolásai és automaták