Универсальная машина Тьюринга. Теоретическая модель современного компьютера