today I learned precisely why it's important that we define pushdown automata as nondeterministic when we're talking about recognizing non-trivial context-free languages. We didn't talk about strategies for dealing with that nondeterminism though... but I know of two or three anyway.