Format for transitions in for PDA

[libsteve]

Transitions should take a string with names of tokens separated by spaces in the order that they should be popped from the stack. Transitions should also take a function that'll create a token to be pushed to the stack we given the list of popped tokens.

There could be a provided function that'll push nothing to the stack.