Machines and learning

What a state that grows by places can compute, remember and learn: a state that only multiplies driven by a program that reads it, registers over a pool of windows read only by asking whether they are zero, a state map read as forgetting a datum of its history, two products of polynomials that coincide, and a reader that learns a stream by exact comparisons.