Машина Тьюринга: определение

Машина Тьюринга – абстрактная математическая модель вычислительной машины.