| Class | Description |
|---|---|
| PFSA |
Extends FSA by adding the stack and registers
|
| PFSAContinuation |
Extends Continuation by adding stack and registers.
|
| PFSASimulator |
Extends the Simulator by changing the notion of validity of a transition, also handling fresh names.
|
| PFSATransition |
Override transition by changing the label
|