New Developments in Formal Languages and Applications