Les modèles équivalents les plus courants sont la machine polyvalente de polymérisation, la machine polyvalente de polymérisation, les machines avec entrée et sortie, et la machine à polymériser Turing -LRB- NDTM -RRB- par opposition à la machine déterministe Turing -LRB- DTM -RRB- pour laquelle la table d'action comporte au plus une entrée pour chaque combinaison de symbole et d'état.
Une machine de polymérisation a deux objectifs.