¹⁶ By contrast to FSAs, there need not in general be for every vocabulary computable by a non-deterministic PDA, some deterministic PDA that reads and writes the same vocabulary.