Example of Formalising a Grammar for use with Lex & Yacc