This text provides an introduction to formal languages and machine computation. The materials covered include computation-oriented mathematics, finite automata and regular languages, and computability and complexity.