Returning and non-returning parallel communicating finite automata are equivalent

被引：12
|
作者：
Choudhary, Ashish [1 ]
Krithivasan, Kamala
Mitrana, Victor
机构：
[1] Indian Inst Technol, Dept Comp Sci & Engn, Madras 600036, Tamil Nadu, India
[2] Univ Bucharest, Fac Math & Comp Sci, Bucharest 010014, Romania
[3] Univ Rovira & Virgili, Res Grp Math Linguist, Tarragona 43005, Spain
来源：
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS | 2007年 / 41卷 / 02期
关键词：
formal languages; parallel communicating finite automata system; multihead finite automaton; computational power;
D O I：
10.1051/ita:2007014
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
A parallel communicating automata system consists of several automata working independently in parallel and communicating with each other by request with the aim of recognizing a word. Rather surprisingly, returning parallel communicating finite automata systems are equivalent to the non- returning variants. We show this result by proving the equivalence of both with multihead finite automata. Some open problems are finally formulated.
引用
收藏
页码：137 / 145
页数：9
相关论文
共 50 条
  • [31] Automatic parallel parking and returning to traffic maneuvers
    Paromtchik, IE
    Laugier, C
    IROS '97 - PROCEEDINGS OF THE 1997 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOT AND SYSTEMS: INNOVATIVE ROBOTICS FOR REAL-WORLD APPLICATIONS, VOLS 1-3, 1996, : V21 - V23
  • [32] SYSTEMS OF PARALLEL COMMUNICATING RESTARTING AUTOMATA
    Vollweiler, Marcel
    Otto, Friedrich
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2014, 48 (01): : 3 - 22
  • [33] Parallel communicating automata systems - A survey
    Martín-Vide, Carlos
    Mitrana, Victor
    Journal of Applied Mathematics and Computing, 2000, 7 (02) : 237 - 257
  • [34] Parallel communicating automata systems — A survey
    Carlos Martín-Vide
    Victor Mitrana
    Korean Journal of Computational & Applied Mathematics, 2000, 7 (2) : 237 - 257
  • [35] Non-returning factors from an interview survey of 16 residents of Katsurao village 12 years after the Fukushima nuclear power plant accident
    Ito, Naomi
    Amir, Isamu
    Moriyama, Nobuaki
    Furuyama, Ayako
    Sato, Mika
    Yamamoto, Chika
    Zhao, Tianchen
    Tsubokura, Masaharu
    RADIATION PROTECTION DOSIMETRY, 2024, 200 (16-18) : 1528 - 1531
  • [36] Impact analysis of returning spacecraft with finite element method
    Cui, YF
    Sun, GJ
    IMAC-XVIII: A CONFERENCE ON STRUCTURAL DYNAMICS, VOLS 1 AND 2, PROCEEDINGS, 2000, 4062 : 1461 - 1465
  • [37] Asynchronous Parallel Communicating Systems of Pushdown Automata
    Otto, Friedrich
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2015, 26 (05) : 643 - 666
  • [38] Network Topologies for Parallel Communicating Finite Automata: Token-Ring and Token-Bus
    Moek, Philomena
    DEVELOPMENTS IN LANGUAGE THEORY, DLT 2024, 2024, 14791 : 218 - 235
  • [39] State complexity of transforming graph-walking automata to halting, returning and reversible
    Martynova, Olga
    Okhotin, Alexander
    INFORMATION AND COMPUTATION, 2023, 291
  • [40] Serializing the Parallelism in Parallel Communicating Pushdown Automata Systems
    Balan, M. Sakthi
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (03): : 59 - 68
12345