Weighted Logics for Unranked Tree Automata

被引：24
|
作者：
Droste, Manfred [2 ]
Vogler, Heiko [1 ]
机构：
[1] Tech Univ Dresden, Dept Comp Sci, D-01062 Dresden, Germany
[2] Univ Leipzig, Inst Comp Sci, D-04109 Leipzig, Germany
来源：
THEORY OF COMPUTING SYSTEMS | 2011年 / 48卷 / 01期
关键词：
Weighted logics; Formal power series; Unranked tree automata; Weighted tree automata;
D O I：
10.1007/s00224-009-9224-4
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We define a weighted monadic second order logic for unranked trees and the concept of weighted unranked tree automata, and we investigate the expressive power of these two concepts. We show that weighted tree automata and a syntactically restricted weighted MSO-logic have the same expressive power in case the semiring is commutative or in case we deal only with ranked trees, but, surprisingly, not in general. This demonstrates a crucial difference between the theories of ranked trees and unranked trees in the weighted case.
引用
收藏
页码：23 / 47
页数：25
相关论文
共 50 条
  • [1] Weighted Logics for Unranked Tree Automata
    Manfred Droste
    Heiko Vogler
    [J]. Theory of Computing Systems, 2011, 48 : 23 - 47
  • [2] Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics
    Droste, Manfred
    Heusel, Doreen
    Vogler, Heiko
    [J]. ALGEBRAIC INFORMATICS (CAI 2015), 2015, 9270 : 90 - 102
  • [3] The Supports of Weighted Unranked Tree Automata
    Droste, Manfred
    Heusel, Doreen
    [J]. FUNDAMENTA INFORMATICAE, 2015, 136 (1-2) : 37 - 58
  • [4] Weighted tree automata and weighted logics
    Droste, Manfred
    Vogler, Heiko
    [J]. THEORETICAL COMPUTER SCIENCE, 2006, 366 (03) : 228 - 247
  • [5] Automata and logics for unranked and unordered trees
    Boneva, I
    Talbot, JM
    [J]. TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2005, 3467 : 500 - 515
  • [6] Minimizing tree automata for unranked trees
    Martens, W
    Niehren, J
    [J]. DATABASE PROGRAMMING LANGUAGES, 2005, 3774 : 232 - +
  • [7] 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
  • [8] Weighted automata and weighted logics
    Droste, Manfred
    Gastin, Paul
    [J]. THEORETICAL COMPUTER SCIENCE, 2007, 380 (1-2) : 69 - 86
  • [9] Weighted automata and weighted logics
    Droste, M
    Gastin, P
    [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2005, 3580 : 513 - 525
  • [10] Bisimulation Minimisation of Weighted Automata on Unranked Trees
    Hogberg, Johanna
    Maletti, Andreas
    Vogler, Heiko
    [J]. FUNDAMENTA INFORMATICAE, 2009, 92 (1-2) : 103 - 130
12345