Определение
Вот, наткнулась как-то на определение:
В теории вычислений множество вычислителей называется тьюринг-полным, если оно вычислительно эквивалентно множеству вычислимых функций. Другими словами, для каждой вычислимой функции существует вычисляющий её элемент множества вычислителей, а все функции, вычисляемые множеством вычислителей, являются вычислимыми функциями. Термин назван в честь Алана Тьюринга, который придумал универсальную машину Тьюринга, в связи с которой и возник данный термин.
А главное - все правильно!
В теории вычислений множество вычислителей называется тьюринг-полным, если оно вычислительно эквивалентно множеству вычислимых функций. Другими словами, для каждой вычислимой функции существует вычисляющий её элемент множества вычислителей, а все функции, вычисляемые множеством вычислителей, являются вычислимыми функциями. Термин назван в честь Алана Тьюринга, который придумал универсальную машину Тьюринга, в связи с которой и возник данный термин.
А главное - все правильно!