Title: Introduction to Languages and Machines