On Determinism and Unambiguity of Weighted Two-Way Automata

被引：1
|
作者：
Carnino, Vincent [1 ]
Lombardy, Sylvain [2 ]
机构：
[1] Univ Paris Est Marne la Vallee, LIGM, UMR 8049, 5 Blvd Descartes, F-77420 Champs Sur Marne, France
[2] Inst Polytech Bordeaux, LaBRI, UMR 5800, F-33405 Talence, France
来源：
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE | 2015年 / 26卷 / 08期
关键词：
Weighted automata; two-way automata; determinization; unambiguity;
D O I：
10.1142/S0129054115400158
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper deals with one-way and two-way weighted automata. When the semiring of weights is commutative, we prove that unambiguous one-way automata, unambiguous two-way automata and deterministic two-way automata realize the same (rational) power series. If the semiring of weights is not commutative, unambiguous one-way automata and deterministic two-way automata realize the same rational power series, but unambiguous two-way automata may realize non rational power series.
引用
收藏
页码：1127 / 1146
页数：20
相关论文
共 50 条
  • [41] Two-Way Parikh Automata with a Visibly Pushdown Stack
    Dartois, Luc
    Filiot, Emmanuel
    Talbot, Jean-Marc
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2019, 2019, 11425 : 189 - 206
  • [42] Two-Way Non-uniform Finite Automata
    Frei, Fabian
    Hromkovic, Juraj
    Kralovic, Richard
    Kralovic, Rastislav
    DEVELOPMENTS IN LANGUAGE THEORY, DLT 2021, 2021, 12811 : 155 - 166
  • [43] Two-way unary automata versus logarithmic space
    Geffert, Viliam
    Pighizzini, Giovanni
    INFORMATION AND COMPUTATION, 2011, 209 (07) : 1016 - 1025
  • [44] The finite graph problem for two-way alternating automata
    Bojanczyk, M
    THEORETICAL COMPUTER SCIENCE, 2003, 298 (03) : 511 - 528
  • [45] On the Size of Two-Way Reasonable Automata for the Liveness Problem
    Bianchi, Maria Paola
    Hromkovic, Juraj
    Kovac, Ivan
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2018, 29 (02) : 187 - 211
  • [46] Alternating two-way AC-tree automata
    Verma, Kumar Neeraj
    Goubault-Larrecq, Jean
    INFORMATION AND COMPUTATION, 2007, 205 (06) : 817 - 869
  • [47] Two-Way Finite Automata: Old and Recent Results
    Pighizzini, Giovanni
    FUNDAMENTA INFORMATICAE, 2013, 126 (2-3) : 225 - 246
  • [48] Two-Way Finite Automata: Old and Recent Results
    Pighizzini, Giovanni
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (90): : 3 - 20
  • [49] Two-way selection on complex weighted networks
    Yunyun Yang
    Gang Xie
    Neural Computing and Applications, 2019, 31 : 939 - 944
  • [50] Two-Way Non-Uniform Finite Automata
    Frei, Fabian
    Hromkovic, Juraj
    Kralovic, Rastislav
    Kralovic, Richard
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2023, 34 (02N03) : 145 - 162
12345