1 INFO 2950 Prof. Carla Gomes [email protected] Module Modeling Computation: Languages and Grammars Rosen, Chapter 12.1.