X-machine noun1 •A theoretical computer that operates on some fundamental data type X. It is a structurally the same as a finite-state machine, but each transition represents the application of a relation of type X→X. formsX-machines
