Mobility

Serializing the Parallelism in Parallel Communicating Pushdown Automata Systems

Free registration required

Executive Summary

The authors consider Parallel Communicating Pushdown Automata systems (PCPA) and define a property called known communication for it. They 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 Communicating Pushdown Automata Systems (RPCPA) called simple-RPCPA and they show that it can be written as a finite intersection of multi-head pushdown automata systems.

  • Format: PDF
  • Size: 95.94 KB