Update parsing_02_formal_spec.md
Update parsing_02_formal_spec.md
UCSB-CS56-pconrad/UCSB-CS56-pconrad.github.io,UCSB-CS56-pconrad/UCSB-CS56-pconrad.github.io,UCSB-CS56-pconrad/UCSB-CS56-pconrad.github.io