-
arXiv:0907.5083 [pdf, ps, other]
Serializing the Parallelism in Parallel Communicating Pushdown Automata Systems
Abstract: We consider parallel communicating pushdown automata systems (PCPA) and define a property called known communication for it. We use this property to prove that the power of a variant of PCPA, called returning centralized parallel communicating pushdown automata (RCPCPA), is equivalent to that of multi-head pushdown automata. The above result presents a new sub-class of returning parallel communi… ▽ More
Submitted 29 July, 2009; originally announced July 2009.
Journal ref: EPTCS 3, 2009, pp. 59-68