машина, название, закрепившееся за абстрактными (воображаемыми) 'вычислительными машинами' некоторого точно охарактеризованного типа, дающими пригодное для целей математического рассмотрения уточнение общего интуитивного представления об алгоритме . Концепция такого рода машины сложилась в середине 30-х гг. 20 в. у А. М. Тьюринга в рез