Returning and non-returning parallel communicating finite automata are equivalent
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 41 (2007) no. 2, pp. 137-145
Voir la notice de l'article provenant de la source Numdam
MRA 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.
DOI :
10.1051/ita:2007014
Classification :
68Q45, 68Q68
Keywords: formal languages, parallel communicating finite automata system, multihead finite automaton, computational power
Keywords: formal languages, parallel communicating finite automata system, multihead finite automaton, computational power
Choudhary, Ashish; Krithivasan, Kamala; Mitrana, Victor. Returning and non-returning parallel communicating finite automata are equivalent. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 41 (2007) no. 2, pp. 137-145. doi: 10.1051/ita:2007014
@article{ITA_2007__41_2_137_0,
author = {Choudhary, Ashish and Krithivasan, Kamala and Mitrana, Victor},
title = {Returning and non-returning parallel communicating finite automata are equivalent},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {137--145},
year = {2007},
publisher = {EDP-Sciences},
volume = {41},
number = {2},
doi = {10.1051/ita:2007014},
mrnumber = {2350640},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.1051/ita:2007014/}
}
TY - JOUR AU - Choudhary, Ashish AU - Krithivasan, Kamala AU - Mitrana, Victor TI - Returning and non-returning parallel communicating finite automata are equivalent JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2007 SP - 137 EP - 145 VL - 41 IS - 2 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/articles/10.1051/ita:2007014/ DO - 10.1051/ita:2007014 LA - en ID - ITA_2007__41_2_137_0 ER -
%0 Journal Article %A Choudhary, Ashish %A Krithivasan, Kamala %A Mitrana, Victor %T Returning and non-returning parallel communicating finite automata are equivalent %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2007 %P 137-145 %V 41 %N 2 %I EDP-Sciences %U http://geodesic.mathdoc.fr/articles/10.1051/ita:2007014/ %R 10.1051/ita:2007014 %G en %F ITA_2007__41_2_137_0
Cité par Sources :
