PDA may now be converted to and from a text string for easy storage.
Functionality added to display PDA in Formal Form.