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 条
  • [41] DECOMPOSITION OF WEIGHTED MULTIOPERATOR TREE AUTOMATA
    Stueber, Torsten
    Vogler, Heiko
    Zoltan Fueloep
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2009, 20 (02) : 221 - 245
  • [42] Ambiguity Hierarchies for Weighted Tree Automata
    Maletti, Andreas
    Nasz, Teodora
    Stier, Kevin
    Ulbricht, Markus
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2023, 34 (08) : 903 - 921
  • [43] Ambiguity Hierarchies for Weighted Tree Automata
    Maletti, Andreas
    Nasz, Teodora
    Stier, Kevin
    Ulbricht, Markus
    IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2021), 2021, 12803 : 140 - 151
  • [44] Weighted automata and weighted logics with discounting
    Droste, Manfred
    Rahonis, George
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2007, 4783 : 73 - +
  • [45] Weighted automata and weighted logics with discounting
    Droste, Manfred
    Rahonis, George
    THEORETICAL COMPUTER SCIENCE, 2009, 410 (37) : 3481 - 3494
  • [46] Weighted Picture Automata and Weighted Logics
    Fichtner, Ina
    THEORY OF COMPUTING SYSTEMS, 2011, 48 (01) : 48 - 78
  • [47] Weighted picture automata and weighted logics
    Mäurer, I
    STACS 2006, PROCEEDINGS, 2006, 3884 : 313 - 324
  • [48] Pebble Weighted Automata and Weighted Logics
    Bollig, Benedikt
    Gastin, Paul
    Monmege, Benjamin
    Zeitoun, Marc
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2014, 15 (02)
  • [49] Weighted Picture Automata and Weighted Logics
    Ina Fichtner
    Theory of Computing Systems, 2011, 48 : 48 - 78
  • [50] Minimizing tree automata for unranked trees
    Martens, W
    Niehren, J
    DATABASE PROGRAMMING LANGUAGES, 2005, 3774 : 232 - +
12345