🇬🇧

CD-Systems of Stateless Deterministic R(1)-Automata Governed by an External Pushdown Store

We study cooperating distributed systems (CD-systems) of stateless deterministic restarting automata with window size 1 that are governed by an external pushdown store. In this way we obtain an automata-theoretical characterization for the class of context-free trace languages.

@techreport{urn:nbn:de:hebis:34-2011010635281,
  author    ={Nagy, Benedek and Otto, Friedrich},
  title    ={CD-Systems of Stateless Deterministic R(1)-Automata Governed by an External Pushdown Store},
  copyright  ={https://rightsstatements.org/page/InC/1.0/},
  language ={en},
  year   ={2011-01-06T08:47:16Z}
}