When pigeons outnumber pigeonholes, some birds must double up. This obvious statement — and its inverse — have deep ...

Introduces the foundations of automata theory, computability theory, and complexity theory. Shows relationship between automata and formal languages. Addresses the issue of which problems can be ...