Title: A Programmer's Introduction to Computability and Formal Languages