i believe all machines can be reduced to a dictionary: it just looks up the answer to a problem in a dictionary full of precalculated answers.
