A Kleene Theorem for Weighted Tree Automata

被引：0
|
作者：
Manfred Droste
Christian Pech
Heiko Vogler
机构：
[1] Department of Mathematics and Computer Science,
[2] University of Leipzig,undefined
[3] D-04109 Leipzig,undefined
[4] Department of Mathematics and Natural Sciences,undefined
[5] Dresden University of Technology,undefined
[6] D-01062 Dresden,undefined
[7] Department of Computer Science,undefined
[8] Dresden University of Technology,undefined
[9] D-01062 Dresden,undefined
来源：
Theory of Computing Systems | 2005年 / 38卷
关键词：
Computational Mathematic; Rational Tree; Formal Tree; Tree Series; Weighted Tree;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this paper we prove Kleene’s result for formal tree series over a commutative semiring A (which is not necessarily complete or continuous or idempotent), i.e., the class of formal tree series over A which are accepted by weighted tree automata, and the class of rational tree series over A are equal. We show the result by direct automata-theoretic constructions and prove their correctness.
引用
收藏
页码：1 / 38
页数：37
相关论文
共 50 条
  • [1] A Kleene theorem for weighted tree automata
    Droste, M
    Pech, C
    Vogler, H
    [J]. THEORY OF COMPUTING SYSTEMS, 2005, 38 (01) : 1 - 38
  • [2] Kleene's theorem for weighted tree-automata
    Pech, C
    [J]. FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 2003, 2751 : 387 - 399
  • [3] 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
  • [4] A Kleene theorem for weighted tree automata over tree valuation monoids
    Goetze, Doreen
    Fulop, Zoltan
    Droste, Manfred
    [J]. INFORMATION AND COMPUTATION, 2019, 269
  • [5] 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
  • [6] 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
  • [7] A Kleene-Schutzenberger theorem for weighted timed automata
    Droste, Manfred
    Quaas, Karin
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2008, 4962 : 142 - 156
  • [8] A Kleene-Schutzenberger theorem for weighted timed automata
    Droste, Manfred
    Quaas, Karin
    [J]. THEORETICAL COMPUTER SCIENCE, 2011, 412 (12-14) : 1140 - 1153
  • [9] A Kleene theorem for timed automata
    Asarin, E
    Caspi, P
    Maler, O
    [J]. 12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 160 - 171
  • [10] WEIGHTED GRAMMARS AND KLEENE THEOREM
    ALEXANDRAKIS, A
    BOZAPALIDIS, S
    [J]. INFORMATION PROCESSING LETTERS, 1987, 24 (01) : 1 - 4
12345