Title: Handbook of Formal Languages