The theoretical underpinnings of computing form a standard part of almost every computer science curriculum. But the classic treatment of …