X-machine

English

Noun

X-machine (plural X-machines)

  1. (computing theory) 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.
    Synonym: Eilenberg machine