Formal Languages and Applications