Банк задач по математике
β
Избранное
Лекции по дискретной математике
/
20 · Машины Тьюринга
§ 20.5
Вычислимость: программная и по Тьюрингу