Parser now appears to construct PDA successfully.