What is the translation of " COMPUTABLE FUNCTION " in Spanish?

• función computable

Examples of using Computable function in English and their translations into Spanish

Computable function- Wikipedia, the free encyclopedia.
Función computable- Wikipedia, la enciclopedia libre.

This argument provides a total computable function that is not primitive recursive.
Deben existir funciones computables que no son primitivas recursivas.

Computable function From Wikipedia, the free encyclopedia.
Teoría de la computabilidad- Wikipedia, la enciclopedia libre.

Lambda calculus can be used to define what is a computable function.
Puede ser usado para definir de manera limpia y precisa qué es una"función computable".

Every computable function is arithmetically definable.
Las funciones computables son definibles aritméticamente.

Every Turing machine computes a certain fixed partial computable function from the input strings over its alphabet.
Toda máquina de Turing computa una cierta función parcial computable fija desde las cadenas de entrada sobre su alfabeto.

The class of computable functions that return 0 for every input, and its complement.
La clase de funciones computables que devuelven 0 para cada entrada, y su complemento.

The Blum axioms can be used to define an abstract computational complexity theory on the set of computable functions.
Los axiomas de Blum pueden ser usados para definir una teoría de complejidad computacional abstracta sobre el conjunto de funciones computables.

The class of computable functions that are constant, and its complement.
La clase de funciones computables que son constantes, y su complemento.

It states that three ways of combining programs-sequencing, selection, and iteration-are sufficient to express any computable function.
Señala que la combinación de las tres estructuras básicas, secuencia, selección e iteración, son suficientes para expresar cualquier función computable.

The class of computable functions that return 0 for at least one input, and its complement.
La clase de funciones computables que devuelven 0 por lo menos para una entrada, y su complemento.

Blum's speedup theorem shows that for any complexity measure there are computable functions that are not optimal with respect to that measure.
El teorema del aumento de velocidad de Blum dice que por cualquier medida de complejidad hay funciones computables que no tienen un programa mínimo.

Each computable function has an infinite number of different program representations in a given programming language.
Cada función computable tiene un número infinito de representaciones en cierto lenguaje de programación.

In computational complexity theory, the problem of determining the complexity of a computable function is known as a function problem.
En teoría de la complejidad computacional, el problema de determinar la complejidad de una función computable es conocido como un problema de funciones..

Before the precise definition of computable function, mathematicians often used the informal term effectively calculable.
Antes de la definición precisa de una función computable los matemáticos usaban el término informal efectivamente computable..

The class FPL(fixed parameter linear) is the class of problems solvable in time f( k)⋅| x|{\displaystyle f(k)\cdot|x|} for some computable function f Grohe 1999.
La clase de parámetro fijo lineal(FPL por sus siglas en inglés) es la clase de problemas resolubles en tiempo f( k)⋅| x|{\displaystyle f(k)\cdot|x|} para alguna función computable f.

We identify each property that a computable function may have with the subset of P( 1){\displaystyle\mathbf{P}^{(1)}} consisting of the functions with that property.
Identificamos cada propiedad que una función computable puede tener con el subconjunto P( 1){\displaystyle\mathbf{P}^{(1)}} que consiste en las funciones con esa propiedad.

Computability theory- branch of mathematical logic and computer science that originated in the 1930s with the study of computable functions and Turing degrees.
Teoría de la computabilidad- rama de la lógica matemática y ciencias de la computación que se originó en la década de 1930 con el estudio de las funciones computables y grados de Turing.

Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
Las funciones computables son usadas para discutir sobre computabilidad sin referirse a ningún modelo de computación concreto, como el de la máquina de Turing o el de la máquina de registros.

In the theory of algorithms one often strives to find a program with the smallest complexity for a given computable function and a given complexity measure such a program could be called optimal.
En la teoría de algoritmos, uno suele tener que encontrar el programa con la menor complejidad por una función computable dada y una medida de complejidad.

In computational complexity theory, Blum's speedup theorem, first stated by Manuel Blum in 1967, is a fundamental theorem about the complexity of computable functions.
En Teoría de la complejidad computacional el teorema del aumento de velocidad de Blum, dado primero por Manuel Blum en 1967, es un teorema importante sobre la complejidad de funciones computables.

An abstract version of the universal Turing machine is the universal function, a computable function which can be used to calculate any other computable function.
Una versión abstracta de la máquina universal de Turing es la función universal, una función computable que puede ser usada para calcular cualquier otra función computable.

FPT contains the fixed parameter tractable problems, which are those that can be solved in time f( k)⋅| x| O( 1){\displaystyle f(k)\cdot{| x|}^{ O( 1)}} for some computable function f.
Contiene los problemas tratables de parámetro fijo, los cuales pueden ser resueltos en tiempo f( k)⋅| x| O( 1){\displaystyle f(k)\cdot{| x|}^{ O( 1)}} para alguna función computable f.

For example, Rice's theorem shows that each of the following sets of computable functions is undecidable: The class of computable functions that return 0 for every input, and its complement.
Por ejemplo, el teorema de Rice demuestra que cada uno de los siguientes conjuntos de funciones computables es indecidible: La clase de funciones computables que devuelven 0 para cada entrada, y su complemento.

S and K can be composed to produce combinators that are extensionally equal to any lambda term, and therefore, by Church's thesis, to any computable function whatsoever.
Es, quizás, un hecho asombroso que S y K se puedan componer para producir los combinadores que son extensionalmente iguales a cualquier término lambda, y por lo tanto, por la tesis de Church, a cualquier función computable.

Decidable(recursive) languages, semi-decidable(recursively enumerable) languages, computable functions, closure operations, complementation theorem, projection theorem, connexions between semi-decidability and computability.
Lenguajes decidibles, lenguajes semi-decidibles, funciones computables, operaciones de cierre, teorema del complementario, teorema de proyección, conexiones entre semi-decidibilidad y computabilidad.

Nowadays these are often considered as a single hypothesis, the Church-Turing thesis, which states that any function that is computable by an algorithm is a computable function.
Hoy en día ambos se consideran como una única hipótesis, la Tesis de Church-Turing, la cual establece que cualquier función que sea computable por un cierto algoritmo es una función computable.

Hao Wang(1954), a young researcher at this time, made the following observation: Turing's theory of computable functions antedated but has not much influenced the extensive actual construction of digital computers.
Hao Wang(1954), un joven investigador en este entonces, hizo la siguiente observación: La teoría de funciones computables de Turing antecedió pero no ha influenciado mucho en la extensa construcción de computadoras digitales.

A function F: N→ N of natural numbers is a computable function if and only if there exists a lambda expression f such that for every pair of x, y in N, F(x)=y if and only if f x=β y, where x and y are the Church numerals corresponding to x and y, respectively and=β meaning equivalence with beta reduction.
Una función F: N→ N de números naturales es una función computable si y sólo si existe una expresión lambda f tal que para todo par de x, y in N, F(x) y si y sólo si f x== y, donde x e y son numerales de Church correspondientes a x e y, respectivamente.

According to Rice's theorem, if there is at least one computable function in a particular class C of computable functions and another computable function not in C then the problem of deciding whether a particular program computes a function in C is undecidable.
Según el teorema de Rice, si hay al menos una función computable en una clase particular C{\displaystyle C}, de funciones computables y otra función computable que no está en C{\displaystyle C} entonces el problema de decidir si un determinado programa calcula una función en C es indecidible.

How to use "computable function" in a sentence

Algorithmically speaking, a computable function corresponds to a sequential algorithm.

Can every partially computable function be extended to a total computable function?

The calculus can be used to cleanly define what a computable function is.

The image of a computable set under a nondecreasing total computable function is computable.

The estimator is an easily computable function of the observed inputs and outputs .

An example of a totally computable function that is not definable in system T?

GAMS/LGO needs only computable function values (without a need for higher order analytical information).

The preimage of a recursive set under a total computable function is a recursive set.

So a computable function must always return a value (for the right class of inputs).