共 50 条
- [49] A two-way streetInternational Water Power and Dam Construction, 2012, 64 (11): : 26 - 28Hossain, FaisalPielke Sr., Roger A.
Weighted two-way transducers
被引：0
|作者：
Feng, Fan
[1
]
Maletti, Andreas
[1
]
机构：
[1] Univ Leipzig, Fac Math & Comp Sci, POB 100920, D-04009 Leipzig, Germany
关键词：
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
相关论文