Step 1: Consider function
The internet: A collection of linked machines
We infer that the links are for communications
- Inputs to one machine change the outputs of other machines
- The machines share a common alphabet
We infer that individual machines compute