тюринг-полный
In der theoretischen Informatik: Die Fähigkeit eines Modells oder Systems, jede berechenbare Funktion zu berechnen.
Способность вычислительной модели выполнять любые вычисления, которые может выполнить машина Тьюринга.
☞ Используется в контексте теории вычислений.
-
Diese neue Programmiersprache ist vollkommen turingmächtig.— Этот новый язык программирования является полностью тюринг-полным.
-
Ist das System theoretisch turingmächtig?— Является ли эта система теоретически тюринг-полной?
-
Ein turingmächtiges Modell kann jede berechenbare Funktion lösen.— Тюринг-полная модель может решить любую вычислимую функцию.
Синонимы
Антонимы