A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids

被引：1
|
作者：
Droste, Manfred [1 ]
Fueloep, Zoltan [2 ]
Goetze, Doreen [1 ]
机构：
[1] Univ Leipzig, Inst Informat, D-04109 Leipzig, Germany
[2] Univ Szeged, Inst Informat, H-6701 Szeged, Hungary
来源：
LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016 | 2016年 / 9618卷
关键词：
Weighted tree automata; Rational expressions; Valuation monoids; Kleene theorem; TRANSDUCERS; SERIES;
D O I：
10.1007/978-3-319-30000-9_35
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Cauchy unital tree valuation monoids are introduced as weight structures for weighted tree automata. Rational tree series over this kind of monoids are defined and Kleene's classical theorem is proved for this setting: a tree series over a Cauchy unital tree valuation monoid is recognizable if and only if it is rational.
引用
收藏
页码：452 / 463
页数：12
相关论文
共 50 条
  • [1] A Kleene theorem for weighted tree automata over tree valuation monoids
    Goetze, Doreen
    Fulop, Zoltan
    Droste, Manfred
    [J]. INFORMATION AND COMPUTATION, 2019, 269
  • [2] 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
  • [3] 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
  • [4] A Kleene Theorem for Weighted Tree Automata
    Manfred Droste
    Christian Pech
    Heiko Vogler
    [J]. Theory of Computing Systems, 2005, 38 : 1 - 38
  • [5] A Kleene theorem for weighted tree automata
    Droste, M
    Pech, C
    Vogler, H
    [J]. THEORY OF COMPUTING SYSTEMS, 2005, 38 (01) : 1 - 38
  • [6] 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
  • [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] Kleene's theorem for weighted tree-automata
    Pech, C
    [J]. FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 2003, 2751 : 387 - 399
  • [9] A Buchi-Like Theorem for Weighted Tree Automata over Multioperator Monoids
    Fueloep, Zoltan
    Stueber, Torsten
    Vogler, Heiko
    [J]. THEORY OF COMPUTING SYSTEMS, 2012, 50 (02) : 241 - 278
  • [10] A Büchi-Like Theorem for Weighted Tree Automata over Multioperator Monoids
    Zoltán Fülöp
    Torsten Stüber
    Heiko Vogler
    [J]. Theory of Computing Systems, 2012, 50 : 241 - 278
12345