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 条
  • [31] Tiburon: A weighted tree automata toolkit
    May, Jonathan
    Knight, Kevin
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2006, 4094 : 102 - 113
  • [32] Approximate minimization of weighted tree automata
    Balle, Borja
    Rabusseau, Guillaume
    INFORMATION AND COMPUTATION, 2022, 282
  • [33] A Kleene Theorem for Weighted Tree Automata
    Manfred Droste
    Christian Pech
    Heiko Vogler
    Theory of Computing Systems, 2005, 38 : 1 - 38
  • [34] A link between multioperator and tree valuation automata and logics
    Teichmann, Markus
    Osterholzer, Johannes
    THEORETICAL COMPUTER SCIENCE, 2015, 594 : 106 - 119
  • [35] Minimizing Deterministic Weighted Tree Automata
    Maletti, Andreas
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2008, 5196 : 357 - 372
  • [36] Weighted Tree-Walking Automata
    Fuelloep, Zoltan
    Muzamel, Lorand
    ACTA CYBERNETICA, 2009, 19 (02): : 275 - 293
  • [37] Bisimulation minimisation for weighted tree automata
    Hoegberg, Johanna
    Maletti, Andreas
    May, Jonathan
    DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2007, 4588 : 229 - +
  • [38] A Kleene theorem for weighted tree automata
    Droste, M
    Pech, C
    Vogler, H
    THEORY OF COMPUTING SYSTEMS, 2005, 38 (01) : 1 - 38
  • [39] Minimizing deterministic weighted tree automata
    Maletti, Andreas
    INFORMATION AND COMPUTATION, 2009, 207 (11) : 1284 - 1299
  • [40] THE CATEGORY OF SIMULATIONS FOR WEIGHTED TREE AUTOMATA
    Esik, Zoltan
    Maletti, Andreas
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2011, 22 (08) : 1845 - 1859
12345