Update README with BNF. (First time using BNF)