Машина Тьюринга и её вклад в вычислительную теорию