Title: Concise Introduction to Languages and Machines