Dit is de tweede editie van 'Languages and Machines: An Introduction to the Theory of Computer Science' door Thomas A. Sudkamp. Het boek is in uitstekende staat, zo goed als nieuw, en biedt een wiskundig onderbouwde presentatie van de theorie van computerwetenschappen. Het is ideaal voor studenten en onderzoekers die geïnteresseerd zijn in formele talen, automaten, berekenbaarheid, computationele complexiteit en deterministisch parsen van contextvrije talen. Geen speciale wiskundige voorkennis vereist. Het boek bevat meer dan 150 extra oefeningen en is een waardevolle bron voor iedereen die de fundamenten van computerwetenschappen wil begrijpen.