Technischer Report
CD-Systems of Stateless Deterministic R(1)-Automata Governed by an External Pushdown Store
Abstract
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.
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.