All the computers are state transition machines