Chapter 10: Q10P (page 439)
A k-head pushdown automaton (k-PDA) is a deterministic pushdown automaton with k read-only, two-way input heads and a read/write stack. Define the class A is recognised by a . Show that . (Hint: Recall that P equals alternating log space.)
Short Answer
Given, can be proved or achieved by using
, which shows that P is alternating log-space.