Full version Languages and Machines: An Introduction to the Theory of Computer Science: United – Digitalmunition