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 条
  • [1] On Determinism and Unambiguity of Weighted Two-way Automata
    Carnino, Vincent
    Lombardy, Sylvain
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (151): : 188 - 200
  • [2] TWO-WAY REPRESENTATIONS AND WEIGHTED AUTOMATA
    Lombardy, Sylvain
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2016, 50 (04): : 331 - 350
  • [3] Translation from Classical Two-Way Automata to Pebble Two-Way Automata
    Geffert, Viliam
    Istonova, L'ubomira
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (03): : 131 - 140
  • [4] TRANSLATION FROM CLASSICAL TWO-WAY AUTOMATA TO PEBBLE TWO-WAY AUTOMATA
    Geffert, Viliam
    Istonova, L'ubomira
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2010, 44 (04): : 507 - 523
  • [5] Nondeterminism versus determinism for two-way finite automata: Generalizations of Sipser's separation
    Hromkovic, J
    Schnitger, G
    AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2003, 2719 : 439 - 451
  • [6] Two-Way Automata in Coq
    Doczkal, Christian
    Smolka, Gert
    INTERACTIVE THEOREM PROVING (ITP 2016), 2016, 9807 : 151 - 166
  • [7] Normality and two-way automata
    Carton, Olivier
    Heiber, Pablo Ariel
    INFORMATION AND COMPUTATION, 2015, 241 : 264 - 276
  • [8] Determinism vs. Nondeterminism for Two-Way Automata Representing the Meaning of States by Logical Formulae
    Hromkovic, Juraj
    Kralovic, Rastislav
    Kralovic, Richard
    Stefanec, Richard
    DEVELOPMENTS IN LANGUAGE THEORY (DLT 2012), 2012, 7410 : 24 - 39
  • [9] DETERMINISM VS. NONDETERMINISM FOR TWO-WAY AUTOMATA: Representing the Meaning of States by Logical Formulae
    Hromkovic, Juraj
    Kralovic, Rastislav
    Kralovic, Richard
    Stefanec, Richard
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2013, 24 (07) : 955 - 978
  • [10] Two-Way Two-Tape Automata
    Carton, Olivier
    Exibard, Leo
    Serre, Olivier
    DEVELOPMENTS IN LANGUAGE THEORY, DLT 2017, 2017, 10396 : 147 - 159
12345