On the Hausdorff measure of regular ω-languages in Cantor space

被引:0
作者
Staiger, Ludwig [1 ]
机构
[1] Univ Halle Wittenberg, Inst Informat, Halle, Saale, Germany
关键词
Hausdorff measure; omega-language; Muller automata; decomposition; set of locally positive measure; DIMENSION;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper deals with the calculation of the Hausdorff measure of regular omega-languages, that is, subsets of the Cantor space definable by finite automata. Using methods for decomposing regular omega-languages into disjoint unions of parts of simple structure we derive two sufficient conditions under which omega-languages with a closure definable by a finite automaton have the same Hausdorff measure as this closure. The first of these condition is related to the homogeneity of the local behaviour of the Hausdorff dimension of the underlying set, and the other with a certain topological density of the set in its closure.
引用
收藏
页码:357 / 368
页数:12
相关论文
共 21 条
  • [1] RATIONAL OMEGA-LANGUAGES ARE NON-AMBIGUOUS
    ARNOLD, A
    [J]. THEORETICAL COMPUTER SCIENCE, 1983, 26 (1-2) : 221 - 223
  • [2] SELF-SIMILAR SETS .3. CONSTRUCTIONS WITH SOFIC SYSTEMS
    BANDT, C
    [J]. MONATSHEFTE FUR MATHEMATIK, 1989, 108 (2-3): : 89 - 102
  • [3] Buchi J. Richard, 1962, LOGIC METHODOLOGY PH, P1, DOI [10.1016/S0049-237X(09)70564-6, DOI 10.1016/S0049-237X(09)70564-6]
  • [4] Falconer K., 1990, Fractal Geometry
  • [5] Falconer K. J., 1986, CAMBRIDGE TRACTS MAT, V85
  • [6] Gerald Edgar, 2008, Undergraduate texts in mathematics, Vsecond, pxvi+268
  • [7] Jurgensen H., 1983, Elektronische Informationsverarbeitung und Kybernetik (EIK), V19, P267
  • [8] HAUSDORFF DIMENSION IN GRAPH DIRECTED CONSTRUCTIONS
    MAULDIN, RD
    WILLIAMS, SC
    [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1988, 309 (02) : 811 - 829
  • [9] TESTING AND GENERATING INFINITE SEQUENCES BY A FINITE AUTOMATON
    MCNAUGHTON, R
    [J]. INFORMATION AND CONTROL, 1966, 9 (05): : 521 - +
  • [10] FRACTALS, DIMENSION, AND FORMAL LANGUAGES
    MERZENICH, W
    STAIGER, L
    [J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1994, 28 (3-4): : 361 - 386