Универсальная машина — это абстрактная концепция в теории вычислений, представляющая устройство, способное выполнять любые вычисления, которые могут быть описаны алгоритмически. Она может имитировать любую другую машину, которая решает задачи в рамках своей вычислительной модели. Общая идея универсальной машины была предложена математиком Аланом Тьюрингом в 1936 году. Он создал так называемую Тьюринг-машину, которая состоит из бесконечной ленты, на которой могут записываться символы, и счетчика, который управляет тем, как машина считывает и записывает данные. Эти машины служат основой для понимания вычислимости и алгоритмов. Они могут выполнять любою задачу, если она может быть описана в виде алгоритма, и этим объясняется их "универсальность".
