One-way Resynchronizability of Word Transducers

被引：0

作者：

Bose, Sougata ^{[1
]}

Krishna, S. N. ^{[2
]}

Muscholl, Anca ^{[1
]}

Puppis, Gabriele ^{[3
]}

机构：

[1] Univ Bordeaux, LaBRI, Bordeaux, France

[2] Indian Inst Technol, Dept Comp Sci & Engn, Bombay, Maharashtra, India

[3] Univ Udine, Dept Math Comp Sci & Phys, Udine, Italy

来源：

FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2021 | 2021年 / 12650卷

关键词：

String transducers; Resynchronizers; One-way transducers; EQUIVALENCE PROBLEM; 2-WAY; UNSOLVABILITY;

D O I：

10.1007/978-3-030-71995-1_7

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The origin semantics for transducers was proposed in 2014, and it led to various characterizations and decidability results that are in contrast with the classical semantics. In this paper we add a further decidability result for characterizing transducers that are close to one-way transducers in the origin semantics. We show that it is decidable whether a non-deterministic two-way word transducer can be resynchronized by a bounded, regular resynchronizer into an origin-equivalent one-way transducer. The result is in contrast with the usual semantics, where it is undecidable to know if a non-deterministic two-way transducer is equivalent to some one-way transducer.

引用

页码：124 / 143

页数：20

共 50 条

[1] ONE-WAY DEFINABILITY OF TWO-WAY WORD TRANSDUCERS
Baschenis, Felix
Gauwin, Olivier
Muscholl, Anca
Puppis, Gabriele
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (04) : 1 - 54
[2] From Two-Way to One-Way Finite State Transducers
Filiot, Emmanuel
Gauwin, Olivier
Reynier, Pierre-Alain
Servais, Frederic
[J]. 2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 468 - 477
[3] One-Way Waveguides Connected to One-Way Loads
Luukkonen, Olli
Chettiar, Uday K.
Engheta, Nader
[J]. IEEE ANTENNAS AND WIRELESS PROPAGATION LETTERS, 2012, 11 : 1398 - 1401
[4] ONE-WAY
Baccelli, Monique
[J]. QUINZAINE LITTERAIRE, 2012, (1062): : 8 - 8
[5] ONE-WAY EXPERIMENTATION DOES NOT PROVE ONE-WAY CAUSATION
SIMONTON, DK
[J]. AMERICAN PSYCHOLOGIST, 1982, 37 (12) : 1404 - 1406
[6] One-Way Games
Abeliuk, Andres
Berbeglia, Gerardo
Van Hentenryck, Pascal
[J]. AAMAS'14: PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2014, : 1519 - 1520
[7] One-way Integrator
Song, Yiyun
[J]. NATURE CHEMICAL BIOLOGY, 2024, 20 (06) : 657 - 657
[8] ONE-WAY DRAIN
CRAIG, A
[J]. NEW SOCIETY, 1967, 10 (269): : 749 - 750
[9] ONE-WAY SCREENS
ZANGWILL, OL
[J]. BULLETIN OF THE BRITISH PSYCHOLOGICAL SOCIETY, 1957, (33): : 34 - 34
[10] 'ONE-WAY TRADERS'
SALKEY, A
[J]. OKIKE-AN AFRICAN JOURNAL OF NEW WRITING, 1976, (11): : 127 - 128

← 1 2 3 4 5 →