Title: Handbook of Mathematical Models for Languages and Computation