Title: Formal Languages and Applications