Title: An Introduction to Languages and Machines