BNF EBNF YACC LALR LALR(1) grammar geeks' jargon Word Resolution Algorithm Machine code language lambda calculus Names of Computer Languages