ABSTRACT
A machine to decide PRIME (given an integer, is it a PRIME number?), for instance, would need an alphabet to represent the symbols of its integer input, whereas one to decide the shortest path would need an alphabet to represent a weighted graph (nodes, edges, distances, etc.).
