Formal Languages and Compilation