A Kleene theorem for weighted tree automata

被引：28
|
作者：
Droste, M [1 ]
Pech, C
Vogler, H
机构：
[1] Univ Leipzig, Dept Math & Comp Sci, D-04109 Leipzig, Germany
[2] Tech Univ Dresden, Dept Math & Nat Sci, D-01062 Dresden, Germany
[3] Tech Univ Dresden, Dept Comp Sci, D-01062 Dresden, Germany
来源：
THEORY OF COMPUTING SYSTEMS | 2005年 / 38卷 / 01期
关键词：
D O I：
10.1007/s00224-004-1096-z
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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
页数：38
相关论文
共 50 条
  • [1] A Kleene Theorem for Weighted Tree Automata
    Manfred Droste
    Christian Pech
    Heiko Vogler
    [J]. Theory of Computing Systems, 2005, 38 : 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