A Formal System for the Specification of the Syntax and Translation of Computer Languages