Handbook of formal languages. background and application