Тюрингово повний
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.— Модель, потужна за Тюрингом, може обчислювати будь-яку обчислювану функцію.
Синонимы
Антонимы