What is the translation of " COMPUTABLE FUNCTIONS " in Greek?

• υπολογίσιμες συναρτήσεις
• υπολογίσιμων συναρτήσεων

Examples of using Computable functions in English and their translations into Greek

Computable Functions.
Υπολογίσιμες συναρτήσεις.

Characteristics of computable functions.
Χαρακτηριστικά υπολογίσιμων συναρτήσεων.

Computable functions are the basic objects of study in computability theory.
Υπολογίσιμες συναρτήσεις είναι τα βασικά αντικείμενα μελέτης στη θεωρία υπολογισιμότητας.

This term has since come to be identified with the computable functions.
Ο όρος αυτός έχει από τότε να ταυτιστεί με τις υπολογίσιμες συναρτήσεις.

The class of computable functions can be defined in many equivalent models of computation, including.
Η κατηγορία των υπολογίσιμων συναρτήσεων μπορεί να οριστεί με πολλά ισοδύναμα μοντέλα υπολογισμού, συμπεριλαμβανομένων.

In recursion theory, 0 can be used to denote the Turing degree of the partial computable functions.
Στη θεωρία αναδρομής, το 0 μπορεί να χρησιμοποιηθεί για να υποδηλώσει το βαθμό αναδιάρθρωσης των μερικώς υπολογίσιμων συναρτήσεων.

A Blum complexity measure is defined using computable functions without any reference to a specific model of computation.
Ένα μέτρο πολυπλοκότητας Μπλουμ ορίζεται χρησιμοποιώντας υπολογίσιμες συναρτήσεις χωρίς καμία αναφορά σε συγκεκριμένο υπολογιστικό μοντέλο.

Numberings can be partial-recursive although some of its members are total recursive, that is, computable functions.
Οι αριθμήσεις μπορεί να είναι μερικά-αναγώγιμες αν και ορισμένα από τα μέλη τους είναι συνολικά αναγώγιμα, δηλαδή, υπολογίσιμες συναρτήσεις.

Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
Υπολογίσιμες συναρτήσεις χρησιμοποιούνται για να συζητήσουν υπολογισιμότητα, χωρίς να αναφέρονται σε κανένα συγκεκριμένο μοντέλο υπολογισμού όπως μηχανές Turing ή μηχανές εγγραφών.

For a total computable function f{\displaystyle f} complexity classes of computable functions can be defined as.
Για μια ολική υπολογίσιμη συνάρτηση κλάσεων πολυπλοκότητας των υπολογίσιμων συναρτήσεων μπορεί να οριστεί ως.

The fundamental results establish a robust, canonical class of computable functions with numerous independent, equivalent characterizations using Turing machines, λ calculus, and other systems.
Τα βασικά αποτελέσματα θεμελιώνουν μια εύρωστη κλάση από υπολογίσιμες συναρτήσεις με πολλούς ανεξάρτητους και ισοδύναμους χαρακτηρισμούς, με μηχανές Τούρινγκ, με λογισμό λάμδα, και άλλα συστήματα.

The Blum axioms can be used to define an abstract computational complexity theory on the set of computable functions.
Τα αξιώματα Blum μπορούν να χρησιμοποιηθούν για να ορίσουμε μια αφηρημένη θεωρία υπολογιστικής πολυπλοκότητας για το σύνολο των υπολογίσιμων συναρτήσεων.

Particular models of computability that give rise to the set of computable functions are the Turing-computable functions and the μ-recursive functions..
Συγκεκριμένα μοντέλα υπολογισιμότητας που προκαλούν το σύνολο των υπολογίσιμων συναρτήσεων είναι οι Turing-υπολογίσιμες συναρτήσεις και οι μ-αναδρομικές συναρτήσεις..

Furthermore, this procedure has to be encoded in the finite alphabet used by the computational model, so there are only countably many computable functions.
Επιπλέον, αυτή η διαδικασία πρέπει να είναι κωδικοποιημένη στο πεπερασμένο αλφάβητο που χρησιμοποιείται από το υπολογιστικό μοντέλο, οπότε υπάρχουν μόνο μετρήσιμα πολλές υπολογίσιμες συναρτήσεις.

Equivalently, computable functions can be formalized as functions which can be calculated by an idealized computing agent such as a Turing machine or a register machine.
Αντίστοιχα, οι υπολογίσιμες συναρτήσεις μπορούν να επισημοποιηθούν ως συναρτήσεις που μπορούν να υπολογιστούν από μία εξιδανικευμένη υπολογιστική μηχανή, όπως μια μηχανή Τιούρινγκ ή μηχανή εγγραφών.

Basic results are that all recursively enumerable classes of functions are learnable while the class REC of all computable functions is not learnable.
Τα βασικά συμπεράσματα είναι ότι όλες οι αναδρομικά αριθμήμενες τάξεις των συναρτήσεων μπορούν να κατακτηθούν γνωστικά, ενώ η κατηγορία REC όλων των υπολογίσιμων συναρτήσεων δεν μπορεί να κατακτηθεί.

In agreement with this definition, the remainder of this article presumes that computable functions take finitely many natural numbers as arguments and produce a value which is a single natural number.
Σε συμφωνία με τον ορισμό αυτό, το υπόλοιπο αυτού του άρθρου υποθέτει ότι οι υπολογίσιμες συναρτήσεις παίρνουν πεπερασμένα πολλούς φυσικούς αριθμούς ως ορίσματα και παράγουν μια τιμή, η οποία είναι ένας φυσικός αριθμός.

In computational complexity theory the Blum axioms or Blum complexity axioms are axioms that specify desirable properties of complexity measures on the set of computable functions.
Στην θεωρία υπολογιστικής πολυπλοκότητας τα αξιώματα Μπλουμ ή αξιώματα πολυπλοκότητας Μπλουμ είναι τα αξιώματα που καθορίζουν επιθυμητές ιδιότητες των μέτρων πολυπλοκότητας για το σύνολο των υπολογίσιμων συναρτήσεων.

The general scenario is the following: Given a class S of computable functions, is there a learner(that is, recursive functional) which outputs for any input of the form f(0), f(1 f(n)) a hypothesis.
Το γενικό σενάριο είναι το εξής: Λαμβάνοντας υπόψη μια κατηγορία S των υπολογίσιμων συναρτήσεων, είναι ένας μαθητής(δηλαδή, αναδρομική λειτουργία) το οποίο εξάγει για κάθε είσοδο της μορφής(f(0), f(1),…, f(n)) μια υπόθεση.

This approach led him to suggest a definition of randomness that was later refined and made mathematically rigorous by Alonzo Church by using computable functions in 1940.
Αυτή η προσέγγιση τον οδήγησε στο να προτείνει ένα ορισμό για την τυχαιότητα ο οποίος βελτιώθηκε αργότερα και έγινε πιο αυστηρός από μαθηματική άποψη, από τον Αλόνσο Τσέρτς την δεκαετία του 1940 με την χρήση υπολογίσιμων συναρτήσεων.

C( f){\displaystyle C(f)} is the set of all computable functions with a complexity less than f{\displaystyle f}. C 0( f){\displaystyle C^{0}(f)} is the set of all boolean-valued functions with a complexity less than f{\displaystyle f}.
Είναι το σύνολο όλων των υπολογίσιμων συναρτήσεων με μια πολυπλοκότητα μικρότερη από την. είναι το σύνολο όλων των Μπούλιαν-αποτιμώμενων συναρτήσεων με μια πολυπλοκότητα μικρότερη από την.

For example, if the formalism lets algorithms define functions over strings(such as Turing machines) then there should be a mapping of these algorithms to strings, and if the formalism lets algorithms define functions over natural numbers(such as computable functions) then there should be a mapping of algorithms to natural numbers.
Για παράδειγμα αν η τυποποίηση επιτρέπει σε αλγόριθμους να ορίζουν συναρτήσεις χαρακτήρων(λέξεων),(όπως οι μηχανές Turing) τότε θα έπρεπε να υπάρχει μια χαρτογράφηση τέτοιων αλγορίθμων σε χαρακτήρες και αν η τυποποίηση επιτρέπει σε αλγόριθμους να ορίζουν συναρτήσεις φυσικών αριθμών όπως οι υπολογίσιμες συναρτήσεις τότε θα έπρεπε να υπάρχει μια χαρτογράφηση αλγορίθμων σε φυσικούς αριθμούς.

According to the Church- Turing thesis, computable functions are exactly the functions that can be calculated using a mechanical calculation device given unlimited amounts of time and storage space.
Σύμφωνα με την Church- Turing διατριβή, υπολογίσιμες συναρτήσεις είναι ακριβώς εκείνες οι συναρτήσεις που μπορούν να υπολογιστούν χρησιμοποιώντας μια συσκευή μηχανικού υπολογισμού δεδομένου απεριόριστου ποσού χρόνου και χώρου αποθήκευσης.

With more rigor, a function is computable if and only if there is an effective procedure that, given any k-tuple of natural numbers, will produce the value.[1] In agreement with this definition, the remainder of this article presumes that computable functions take finitely many natural numbers as arguments and produce a value which is a single natural number.
Με περισσότερη αυστηρότητα, μια λειτουργία είναι υπολογίσιμη αν και μόνο αν υπάρχει μια αποτελεσματική διαδικασία, τέτοια ώστε δίνοντας κάθε κ-πλειάδα των φυσικών αριθμών, θα παράγει την αξία.[1] Σε συμφωνία με τον ορισμό αυτό, το υπόλοιπο αυτού του άρθρου υποθέτει ότι οι υπολογίσιμες συναρτήσεις παίρνουν πεπερασμένα πολλούς φυσικούς αριθμούς ως ορίσματα και παράγουν μια τιμή, η οποία είναι ένας φυσικός αριθμός.

According to the Church- Turing thesis, computable functions are exactly the functions that can be calculated using a mechanical calculation device given unlimited amounts of time and storage space.
Σύμφωνα με την Τσερτς- Τούρινγκ διατριβή, υπολογίσιμες συναρτήσεις είναι ακριβώς εκείνες οι συναρτήσεις που μπορούν να υπολογιστούν χρησιμοποιώντας μια συσκευή μηχανικού υπολογισμού με δεδομένο απεριόριστο ποσό χρόνου και χώρου αποθήκευσης.

The class of computable functions can be defined in many equivalent models of computation, including Turing machines μ-recursive functions Lambda calculus Post machines(Post- Turing machines and tag machines).
Η κατηγορία των υπολογίσιμων συναρτήσεων μπορεί να οριστεί με πολλά ισοδύναμα μοντέλα υπολογισμού, συμπεριλαμβανομένων Μηχανές Τούρινγκ μ-αναδρομικές συναρτήσεις Λογισμός Λάμδα Post μηχανές(Ποστ- Τούρινγκ μηχανές και tag μηχανές).

Recursion theory, also called computability theory, studies the properties of computable functions and the Turing degrees, which divide the uncomputable functions into sets that have the same level of uncomputability.
Η Θεωρία αναδρομής, ή θεωρία υπολογισιμότητας, μελετά τις ιδιότητες των υπολογίσιμων συναρτήσεων, και τους βαθμούς Τούρινγκ, που διαιρούν τις μη-υπολογίσιμες συναρτήσεις σε σύνολα που έχουν το ίδιο επίπεδο μη-υπολογισιμότητας.

Computable functions are the formalized analogue of the intuitive notion of algorithm, in the sense that a function is computable if there exists an algorithm that can do the job of the function, i.e. given an input of the function domain it can return the corresponding output.
Υπολογίσιμες συναρτήσεις είναι η τυποποιημένη αναλογική της διαισθητικής ιδέας του αλγορίθμου, με την έννοια ότι μια συνάρτηση είναι υπολογίσιμη αν υπάρχει ένας αλγόριθμος που μπορεί να κάνει τη δουλειά της συνάρτησης, δηλαδή με δεδομένο εισόδου το πεδίο ορισμού της συνάρτησης να μπορεί να επιστρέψει το αντίστοιχο της παραγωγής.

Although the Church- Turing thesis states that the computable functions include all functions with algorithms, it is possible to consider broader classes of functions that relax the requirements that algorithms must possess.
Αν και η Church- Turing διατριβή αναφέρει ότι η υπολογίσιμες συναρτήσεις περιλαμβάνουν όλες τις λειτουργίες με αλγορίθμους, είναι δυνατό να λαμβάνονται υπόψη ευρύτερες κατηγορίες συναρτήσεων που χαλαρώνουν οι απαιτήσεις που οι αλγόριθμοι πρέπει να κατέχουν.

For example, one can formalize computable functions as μ-recursive functions, which are partial functions that take finite tuples of natural numbers and return a single natural number(just as above).
Για παράδειγμα, κάποιος μπορεί να επισημοποιήσει τις υπολογίσιμες συναρτήσεις ως μ-αναδρομικές συναρτήσεις, οι οποίες είναι μερικές συναρτήσεις που λαμβάνουν πεπερασμένες πλειάδες των φυσικών αριθμών και να επιστρέφουν έναν φυσικό αριθμό(όπως παραπάνω).