Finite Sequentiality of Unambiguous Max-Plus Tree Automata

被引：0
|
作者：
Erik Paul
机构：
[1] Leipzig University,
来源：
Theory of Computing Systems | 2021年 / 65卷
关键词：
Weighted tree automata; Max-plus tree automata; Finite sequentiality; Decidability; Ambiguity;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We show the decidability of the finite sequentiality problem for unambiguous max-plus tree automata. A max-plus tree automaton is called unambiguous if there is at most one accepting run on every tree. The finite sequentiality problem asks whether for a given max-plus tree automaton, there exist finitely many deterministic max-plus tree automata whose pointwise maximum is equivalent to the given automaton.
引用
收藏
页码：736 / 776
页数：40
相关论文
共 50 条
  • [1] Finite Sequentiality of Unambiguous Max-Plus Tree Automata
    Paul, Erik
    [J]. THEORY OF COMPUTING SYSTEMS, 2021, 65 (04) : 736 - 776
  • [2] Finite Sequentiality of Unambiguous Max -Plus Tree Automata
    Paul, Erik
    [J]. 36TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2019), 2019,
  • [3] Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata
    Paul, Erik
    [J]. THEORY OF COMPUTING SYSTEMS, 2024, 68 (04) : 615 - 661
  • [4] Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata
    Paul, Erik
    [J]. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2024, 35 (01N02) : 23 - 49
  • [5] Diagnosability of Unambiguous Max-Plus Automata
    Lai, Aiwen
    Komenda, Jan
    Lahaye, Sebastien
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2022, 52 (11): : 7302 - 7311
  • [6] Deciding the sequentiality of a finitely ambiguous max-plus automaton
    Klimann, I
    Lombardy, S
    Mairesse, J
    Prieur, C
    [J]. DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2003, 2710 : 373 - 385
  • [7] On the Existence of Simulations for Max-Plus Automata
    Daviaud, Berangere
    Lahaye, Sebastien
    Lhommeau, Mehdi
    Komenda, Jan
    [J]. IEEE CONTROL SYSTEMS LETTERS, 2024, 8 : 694 - 699
  • [8] Simulations and bisimulations for max-plus automata
    Ciric, Miroslav
    Micic, Ivana
    Matejic, Jelena
    Stamenkovic, Aleksandar
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2024, 34 (02): : 269 - 295
  • [9] A contribution to the determinization of max-plus automata
    Sébastien Lahaye
    Aiwen Lai
    Jan Komenda
    Jean-Louis Boimond
    [J]. Discrete Event Dynamic Systems, 2020, 30 : 155 - 174
  • [10] A contribution to the determinization of max-plus automata
    Lahaye, Sebastien
    Lai, Aiwen
    Komenda, Jan
    Boimond, Jean-Louis
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2020, 30 (01): : 155 - 174
12345