These Turing machines were designed to formally determine, mathematically, what can be computed, taking into account limitations on computing ability.
Машины Тьюринга были разработаны, чтобы формально математически определить, что может быть вычислено с учетом ограничений на вычислительную способность.