Weighted two-way transducers

被引：0
|
作者：
Feng, Fan [1 ]
Maletti, Andreas [1 ]
机构：
[1] Univ Leipzig, Fac Math & Comp Sci, POB 100920, D-04009 Leipzig, Germany
来源：
INFORMATION AND COMPUTATION | 2023年 / 295卷
关键词：
Two-way transducer; Complete semiring; Composition; Hadamard product; Cauchy product; Kleene iteration; AUTOMATA;
D O I：
10.1016/j.ic.2023.105094
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Weighted two-way transducers over complete commutative semirings are introduced and investigated. Their computed mappings have two-way definable support. Conversely, for every two-way definable relation R there exists a mapping that has support R and is computable by a weighted two-way transducer. The class of all such computed mappings is naturally closed under sum. Finally, both the subclass computed by deterministic weighted two-way transducers and the subclass computed by unambiguous weighted two-way transducers are shown to be closed under composition, pseudo HADAMARD product, unambiguous CAUCHY product, and unambiguous KLEENE iteration.(c) 2023 Elsevier Inc. All rights reserved.
引用
收藏
页数：12
相关论文
共 50 条
  • [1] Two-Way Transducers with a Two-Way Output Tape
    Carton, Olivier
    DEVELOPMENTS IN LANGUAGE THEORY (DLT 2012), 2012, 7410 : 263 - 272
  • [2] A Pumping Lemma for Two-Way Finite Transducers
    Smith, Tim
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014, PT I, 2014, 8634 : 523 - 534
  • [3] Untwisting two-way transducers in elementary time
    Baschenis, Felix
    Gauwin, Olivier
    Muscholl, Anca
    Puppis, Gabriele
    2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
  • [4] On the containment and equivalence problems for two-way transducers
    Ibarra, Oscar H.
    Yen, Hsu-Chun
    THEORETICAL COMPUTER SCIENCE, 2012, 429 : 155 - 163
  • [5] Characterizing the Valuedness of Two-Way Finite Transducers
    Yen, Di-De
    Yen, Hsu-Chun
    DEVELOPMENTS IN LANGUAGE THEORY, DLT 2019, 2019, 11647 : 100 - 112
  • [6] Sequences of words defined by two-way transducers
    Choffrut, Christian
    THEORETICAL COMPUTER SCIENCE, 2017, 658 : 85 - 96
  • [7] Two-Way Visibly Pushdown Automata and Transducers
    Dartois, Luc
    Filiot, Emmanuel
    Reynier, Pierre-Alain
    Talbot, Jean-Marc
    PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 217 - 226
  • [8] An Algebraic Characterization of Unary Two-Way Transducers
    Choffrut, Christian
    Guillon, Bruno
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014, PT I, 2014, 8634 : 196 - +
  • [9] ONE-WAY DEFINABILITY OF TWO-WAY WORD TRANSDUCERS
    Baschenis, Felix
    Gauwin, Olivier
    Muscholl, Anca
    Puppis, Gabriele
    LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (04) : 1 - 54
  • [10] TWO-WAY REPRESENTATIONS AND WEIGHTED AUTOMATA
    Lombardy, Sylvain
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2016, 50 (04): : 331 - 350
12345