2 citations · 5 across the 14 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.CC2013
Some Remarks on Lower Bounds for Queue Machines (Preliminary Report)
Holger Petersen
We first give an improved lower bound for the deterministic online simulation of tapes or pushdown stores by queues. Then we inspect some proofs in a classical work on queue machin…
cs.FL2013
A Note on Pushdown Automata Systems
Holger Petersen
In (Csuhaj-Varju et. al. 2000) Parallel Communicating Systems of Pushdown Automata (PCPA) were introduced and shown to be able to simulate nondeterministic one-way multi-head pushd…