What exactly is a computer? The answer varies based on what you think "computation" means. Today introduces finite automata - mathematical models of finite-memory computing devices - along with some core mathematical tools we'll use to reason about them.
Links