Text this: Pushdown Automata and Context-Free Grammars in Bisimulation Semantics