NESTIFY FOR HOPDA

Software written by C. Aiswarya and Paul Gastin


The input should be a space separated sequence of actions.
Each Push/Pop action should be followed by a digit (1-9).
Everything else is treated as an internal action.
Example: Push1 a Push2 Push1 b Pop1 pop1 pop2 c pop1
Example: Push2 Push1 Push2 Push1 Push2 Push1 Push2 Push1 Pop1 Pop1 Collapse

Push/Pop Sequence:

Create a pdf image of the nested word (takes a few seconds, be patient)
Output the nested word as a table
Output the latex source of a gastex picture of the nested word