HALTING PROBLEM in Greek translation

• πρόβλημα τερματισμού
• πρόβλημα ανάσχεσης
• προβλήματος τερματισμού

Examples of using Halting problem in English and their translations into Greek

Startling as the halting problem was, the really profound part of Incompleteness for Turing,
Τρομακτικό όπως το πρόβλημα ανάσχεσης ήταν, το πραγματικά βαθύ μέρος της Μη Πληρότητας για τον Τούρινγκ,

by representing the halting problem in this way.
εκφράζοντας το πρόβλημα τερματισμού με αυτόν τον τρόπο.

including many different sets that encode variants of the halting problem, have two properties in common:
συμπεριλαμβανομένων πολλών διαφορετικών συνόλων που κωδικοποιούν παραλλαγές του προβλήματος τερματισμού, έχουν δύο κοινές ιδιότητες:

in the Turing degree of the halting problem.
στο βαθμό Turing του προβλήματος τερματισμού.

The halting problem is a decision problem about properties of computer programs on a fixed Turing-complete model of computation,
Το πρόβλημα του τερματισμού είναι ένα πρόβλημα απόφασης που αφορά υπολογιστικά προγράμματα σε ένα σταθερό Turing-πλήρες υπολογιστικό μοντέλο,

that could solve the halting problem for a Turing machine amongst other things.
που να μπορεί, μεταξύ άλλων, να λύνει το πρόβλημα του τερματισμού στις μηχανές Turing.

Decidability of Languages, Halting Problem, Reductions.
Αποφασισιμότητα Γλωσσών, Πρόβλημα Τερματισμού, Αναγωγές.

Jack Copeland(2004) attributes the term"halting problem" to Martin Davis.
Ο Jack Copeland(2004) προσδίδει τον όρο"πρόβλημα τερματισμού"στον Martin Davis.

Kleene showed that the existence of a complete effective theory of arithmetic with certain consistency properties would force the halting problem to be decidable, a contradiction.
Ο Κλιν έδειξε ότι η ύπαρξη μιας πλήρους, αποτελεσματικής θεωρίας της αριθμητικής με συγκεκριμένες ιδιότητες συνέπειας θα σήμαινε πως το πρόβλημα του τερματισμού είναι αποφασίσιμο(υπολογίσιμο), μια αντίφαση.

Kleene showed that the existence of a complete effective system of arithmetic with certain consistency properties would force the halting problem to be decidable, a contradiction.
Ο Κλιν έδειξε ότι η ύπαρξη μιας πλήρους, αποτελεσματικής θεωρίας της αριθμητικής με συγκεκριμένες ιδιότητες συνέπειας θα σήμαινε πως το πρόβλημα του τερματισμού είναι αποφασίσιμο(υπολογίσιμο), μια αντίφαση.

and thus the halting problem is the most complicated recursively enumerable set with respect to many-one reducibility
και έτσι το πρόβλημα τερματισμού είναι το πιο περίπλοκο αναδρομικά αριθμήσιμα σύνολο σε σχέση με πολλές-ένα αναγωγές

Since the negative answer to the halting problem shows that there are problems that cannot be solved by a Turing machine, the Church- Turing
Εφόσον η αρνητική απάντηση στο πρόβλημα τερματισμού δείχνει ότι υπάρχουν προβλήματα που δεν λύνονται από τις μηχανές Turing, η πρόταση Church-Turing συγκεκριμενοποιεί τι μπορεί

a theorem of Friedburg shows that any set that computes the Halting problem can be obtained as the Turing jump of another set.
ένα θεώρημα του Friedburg δείχνει ότι κάθε σύνολο που υπολογίζει το πρόβλημα τερματισμού μπορεί να ληφθεί ως Turing άλμα του ενός άλλου συνόλου.

Post showed in 1954 that there are intermediate Turing degrees between those of the computable sets and the halting problem, but they failed to show that any of these degrees contains a recursively enumerable set.
ο Post το 1954 έδειξαν ότι υπάρχουν ενδιάμεσοι βαθμοί Turing μεταξύ αυτών τα υπολογίσιμα σύνολα και το πρόβλημα τερματισμού, αλλά απέτυχαν να δείξουν ότι κάποια από αυτές τις μοίρες περιλαμβάνει κάποιο αναδρομικά αριθμήσιμα σύνολο.

has the property that either the halting problem or its complement is many-one reducible to E,
έχει την ιδιότητα ότι είτε το πρόβλημα τερματισμού ή το συμπλήρωμά της είναι πολλές-ένα αναγώγιμο στο E,

the Turing jump of A is a set of natural numbers encoding a solution to the halting problem for oracle Turing machines running with oracle A. The Turing jump of any set is always of higher Turing degree than the original set, and a theorem of Friedburg shows that any set that computes the Halting problem can be obtained as the Turing jump of another set.
το Turing άλμα του Α είναι ένα σύνολο των φυσικών αριθμών που κωδικοποιεί μια λύση για το πρόβλημα τερματισμού για τις μηχανές Turing που τρέχουν με χρησμό Α. Το Turing άλμα του κάθε σετ είναι πάντα με υψηλότερο βαθμό Turing από το αρχικό σύνολο, και ένα θεώρημα του Friedburg δείχνει ότι κάθε σύνολο που υπολογίζει το πρόβλημα τερματισμού μπορεί να ληφθεί ως Turing άλμα του ενός άλλου συνόλου.

Halting problem.
Πρόβλημα τερματισμού.

The halting problem is undecidable for Turing machines.
Το πρόβλημα τερματισμού είναι μη αποφασίσιμο στις μηχανές Turing.

Is Turing's'halting problem'.
Είναι το"πρόβλημα ανάσχεσης" του Τούρινγκ.

The halting problem is undecidable over Turing machines.
Το πρόβλημα τερματισμού είναι μη αποφασίσιμο στις μηχανές Turing.