A pushdown automation $M=(Q, \Sigma, \Gamma, \delta , q_0, z, F)$ is set to be deterministic subject to which of the following condition(s), for every $q \in Q, a \in \Sigma \cup \{\lambda\} \text{ and } b \in \Gamma$
(s1) $\delta(q, a, b)$ contains at most one element
(s2) if $\delta(q, \lambda, b)$ is not empty then $\delta(q, c, b)$ must be empty for every $c \in \Sigma$
- only s1
- only s2
- both s1 and s2
- neither s1 nor s2