On the representation of real numbers using regular languages

被引：11
|
作者：
Lecomte, P [1 ]
Rigo, M [1 ]
机构：
[1] Univ Liege, Inst Math, B-4000 Liege, Belgium
来源：
THEORY OF COMPUTING SYSTEMS | 2002年 / 35卷 / 01期
关键词：
Real Number; Numerical Approximation; Algebraic Number; Convergent Sequence; Regular Language;
D O I：
10.1007/s00224-001-1007-5
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Using a lexicographically ordered regular language, we show how to represent an interval of R. We determine exactly the possible representations of any element in this interval and study the function which maps a representation onto its numerical value. We make explicit the relationship between the convergence of finite words to an infinite word and the convergence of the corresponding approximations to a real number.
引用
收藏
页码：13 / 38
页数：26
相关论文
共 50 条
  • [1] On the Representation of Real Numbers Using Regular Languages
    P. Lecomte
    M. Rigo
    Theory of Computing Systems, 2002, 35 : 13 - 38
  • [2] Polynomials with small discriminants and regular systems of real algebraic numbers
    Bernik V.I.
    Kukso O.S.
    Journal of Mathematical Sciences, 2006, 137 (2) : 4612 - 4616
  • [3] Regular component decomposition of regular languages
    Liu, YJ
    THEORETICAL COMPUTER SCIENCE, 2003, 299 (1-3) : 743 - 749
  • [4] On regular systems of real algebraic numbers of third degree in short intervals
    V. I. Bernik
    N. Budarina
    H. O’Donnell
    Proceedings of the Steklov Institute of Mathematics, 2013, 282 : 54 - 66
  • [5] Undecidability in ω-regular languages
    Halava, Vesa
    Harju, Tero
    Karhumäki, Juhani
    FUNDAMENTA INFORMATICAE, 2006, 73 (1-2) : 119 - 125
  • [6] Odometers on Regular Languages
    Valérie Berthé
    Michel Rigo
    Theory of Computing Systems, 2007, 40 : 1 - 31
  • [7] On the entropy of regular languages
    Ceccherini-Silberstein, T
    Machi, A
    Scarabotti, F
    THEORETICAL COMPUTER SCIENCE, 2003, 307 (01) : 93 - 102
  • [8] Regular autodense languages
    Fan, Chen-Ming
    Huang, C. C.
    Shyr, H. J.
    ACTA INFORMATICA, 2008, 45 (7-8) : 467 - 477
  • [9] Regular autodense languages
    Chen-Ming Fan
    C. C. Huang
    H. J. Shyr
    Acta Informatica, 2008, 45 : 467 - 477
  • [10] Shuffle decomposition of regular languages
    Ito, M
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2002, 8 (02): : 257 - 259
12345