Solution Manual for Languages and Machines – Thomas Sudkamp