partial evaluation

Practical realization of the Smn theorem

A practical simulation result for two-way pushdown automata

• sharing of horizontal relations and terminators
• only reachable configurations
• linear time for deterministic and cubic time for nondeterministic