Formal Languages and Notations