Updates to BNF

Updated the BNF grammar
added PL/M example