Explorability in Pushdown Automata