Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics

被引：5
|
作者：
Droste, Manfred [1 ]
Heusel, Doreen [1 ]
Vogler, Heiko [2 ]
机构：
[1] Univ Leipzig, Inst Informat, D-04109 Leipzig, Germany
[2] Tech Univ Dresden, Inst Theoret Informat, D-01062 Dresden, Germany
来源：
ALGEBRAIC INFORMATICS (CAI 2015) | 2015年 / 9270卷
关键词：
D O I：
10.1007/978-3-319-23021-4_9
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We introduce a new behavior of weighted unranked tree automata. We prove a characterization of this behavior by two fragments of weighted MSO logic and thereby provide a solution of an open equivalence problem of Droste and Vogler. The characterization works for valuation monoids as weight structures; they include all semirings and, in addition, enable us to cope with average.
引用
收藏
页码：90 / 102
页数：13
相关论文
共 50 条
  • [1] Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
    Droste, Manfred
    Goetze, Doreen
    Maercker, Steffen
    Meinecke, Ingmar
    [J]. ALGEBRAIC FOUNDATIONS IN COMPUTER SCIENCE: ESSAYS DEDICATED TO SYMEON BOZAPALIDIS ON THE OCCASION OF HIS RETIREMENT, 2011, 7020 : 30 - 55
  • [2] Weighted Logics for Unranked Tree Automata
    Manfred Droste
    Heiko Vogler
    [J]. Theory of Computing Systems, 2011, 48 : 23 - 47
  • [3] Weighted Logics for Unranked Tree Automata
    Droste, Manfred
    Vogler, Heiko
    [J]. THEORY OF COMPUTING SYSTEMS, 2011, 48 (01) : 23 - 47
  • [4] A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids
    Droste, Manfred
    Fueloep, Zoltan
    Goetze, Doreen
    [J]. LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016, 2016, 9618 : 452 - 463
  • [5] A Kleene theorem for weighted tree automata over tree valuation monoids
    Goetze, Doreen
    Fulop, Zoltan
    Droste, Manfred
    [J]. INFORMATION AND COMPUTATION, 2019, 269
  • [6] The Supports of Weighted Unranked Tree Automata
    Droste, Manfred
    Heusel, Doreen
    [J]. FUNDAMENTA INFORMATICAE, 2015, 136 (1-2) : 37 - 58
  • [7] Weighted tree automata and weighted logics
    Droste, Manfred
    Vogler, Heiko
    [J]. THEORETICAL COMPUTER SCIENCE, 2006, 366 (03) : 228 - 247
  • [8] A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids
    Zoltán Fülöp
    Andreas Maletti
    Heiko Vogler
    [J]. Theory of Computing Systems, 2009, 44 : 455 - 499
  • [9] A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids
    Fueloep, Zoltan
    Maletti, Andreas
    Vogler, Heiko
    [J]. THEORY OF COMPUTING SYSTEMS, 2009, 44 (03) : 455 - 499
  • [10] Bisimulation Relations for Weighted Automata over Valuation Monoids
    Yang, Chao
    Li, Yong-Ming
    [J]. QUANTITATIVE LOGIC AND SOFT COMPUTING 2016, 2017, 510 : 181 - 191
12345