lenguaje de programación de Turing oor Engels

lenguaje de programación de Turing

Vertalings in die woordeboek Spaans - Engels

Turing language

Turing programming language

voorbeelde

Usando caracterización de Rogers de Numeración admisible, el teorema de Rice esencialmente se puede generalizar a partir de máquinas de Turing para la mayoría de lenguajes de programación: no existe ningún método automático que decida con generalidad no triviales preguntas sobre el comportamiento de un programa BlackBox.
Using Rogers' characterization of acceptable programming systems, Rice's Theorem may essentially be generalized from Turing machines to most computer programming languages: there exists no automatic method that decides with generality non-trivial questions on the behavior of computer programs.

P′′ fue el primer lenguaje imperativo de programación estructurada que prescindió del GOTO para ser demostrada su pertenencia a los Turing completos. El lenguaje Brainfuck (aparte de sus comandos de E/S) es una variación menos informal de P′′, que influyó a su vez posteriormente la creación de otros lenguajes esotéricos, tales como Ook! y Tink.
P′′ was the first "GOTO-less" imperative structured programming language to be proven Turing-complete The Brainfuck language (apart from its I/O commands) is a minor informal variation of P′′.

El lenguaje de programación completo de Turing de contratos inteligentes.
Turing complete programming language of smart contracts.

Lenguajes de programación: Máquina de Turing
Theory Of Computation: Turing Model

Hice varias iteraciones de modelos para la estructura del mundo y el diseño de las criaturas - criaturas 3D voladoras en cuevas, criaturas celulares, colonias de algas e incluso un lenguaje de programación de Turing completo para la recombinación genética".
I iterated through a bunch of different models for the structure of the world and the makeup of the creatures - 3D flying creatures in caves, cellular creatures, colonies of algae structures, and even a Turing-complete programming language that could be subjected to genetic recombination."

Miembro de la Academia Noruega de las Ciencias En febrero de 2001, de nuevo junto con Ole-Johan Dahl, recibió el Premio Turing de la Association for Computing Machinery (ACM), "por sus ideas fundamentales para el nacimiento de la programación orientada a objetos, mediante el diseño y desarrollo de los lenguajes de programación Simula I y Simula 67."
In February 2002, he was given, once more together with Ole-Johan Dahl, the 2001 A. M. Turing Award by the Association for Computing Machinery (ACM), with the citation: "For ideas fundamental to the emergence of object oriented programming, through their design of the programming languages Simula I and Simula 67."

"Ethereum Classic es una plataforma de fuente abierta basada en Blockchain que permite contratos inteligentes y tiene un lenguaje de programación completo de Turing.
Ethereum Classic is an open-sourced Blockchain-based platform that enables smart-contracts and has a Turing-complete programming language.

La mayoría de los lenguajes de programación funcional de propósito general permiten la recursividad sin restricciones y superan el test de Turing, lo que hace que el programa que se interrumpe no pueda tomar una decisión, lo que puede causar una falta de solidez en el razonamiento ecuacional y generalmente requiere introducir inconsistencia dentro de la lógica expresada por los tipos del sistema del lenguaje.
Most general purpose functional programming languages allow unrestricted recursion and are Turing complete, which makes the halting problem undecidable, can cause unsoundness of equational reasoning, and generally requires the introduction of inconsistency into the logic expressed by the language's type system.

Totalidad del Turing: El blockchain que presenta Ethereum tiene un lenguaje de programación completo de Turing, gracias al cual los usuarios podrán crear cualquier contrato por sí mismos.
Turing completeness: The blockchain presented in Ethereum, has a built-in Turing-full programming language, thanks to which the users will be able to create any contracts by themselves.

En su discurso de aceptación del Premio Turing en 1977, Backus describió lo que considera como la necesidad de un cambio a una filosofía diferente en el diseño de lenguajes de programación: "Pareciera existir un problema en el diseño de los lenguajes de programación.
In his 1977 Turing award lecture, Backus set forth what he considered to be the need to switch to a different philosophy in programming language design: Programming languages appear to be in trouble.

Dependiendo de lo escrupuloso que te quieras poner, podrías argumentar en favor de cualquiera de las posiciones acerca de si el lenguaje de programación de Ethereum es realmente Turing en su totalidad.
Depending on how pedantic you’re feeling, you could argue either side of the question of whether Ethereum’s scripting language is actually Turing complete.

Backus, en la conferencia del Premio Turing de 1977, asedió el estado actual de los lenguajes industriales y propuso una nueva clase de lenguajes de programación ahora conocidos como lenguajes de programación funcional.
Backus, at the 1977 ACM Turing Award lecture, assailed the current state of industrial languages and proposed a new class of programming languages now known as function-level programming languages.

Después de ver los protocolos que esos proyectos estaban usando, Vitalik se dio cuenta de que es posible generalizar masivamente lo que los protocolos estaban haciendo reemplazando toda su funcionalidad por un lenguaje de programación completo de Turing.
After looking at the protocols those projects were using, Vitalik realized that it’s possible to massively generalize what the protocols were doing by replacing all their functionality with a Turing-complete programming language.

Vitalik pensó que una gran solución para tal problema sería construir un lenguaje de programación completo de Turing que permitiera a los desarrolladores similares crear aplicaciones para la cadena de bloques de Bitcoin.
Vitalik thought that a great solution for such a problem would be to build a Turing-complete programming language that would enable similar developers to create applications for the Bitcoin blockchain.

Adicionalmente, se conviene a que toda codificación no válida se mapea a una máquina de Turing trivial que se detiene inmediatamente, y que cada máquina de Turing puede tener un número infinito de codificaciones al rellenar la codificación con un número arbitrario de (digamos) 1 al final, al igual que trabajan los comentarios en un lenguaje de programación.
Additionally, we convene that every invalid encoding maps to a trivial Turing machine that immediately halts, and that every Turing machine can have an infinite number of encodings by padding the encoding with an arbitrary number of (say) 1's at the end, just like comments work in a programming language.

Su trabajo sobre teoría de autómatas le hizo ganar el Premio Turing de la ACM en 1976, mientras que su trabajo en colaboración con Christopher Strachey en los años 1970 fijó los cimientos para los enfoques modernos en semántica de lenguajes de programación.
His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages.

Aunque la TI-59 era Turing completo, y soportaba programación lineal, condiciones, loops, y acceso indirecto a los registros de memoria (y salida alfanumérica limitada a la impresora), escribir rutinas sofisticadas era esencialmente como de escribir en lenguaje de máquina y usar una hoja de codificación.
Although the TI-59 is Turing-complete, supporting straight-line programming, conditions, loops, and indirect access to memory registers, and although it supports limited alphanumeric output on the printer only, writing sophisticated routines is essentially a matter of planning machine language and using a coding pad.

Este lenguaje de programación permite realizar cualquier tipo de lógica, es una maquina Turing completa.
This programming language allows using any kind of logic; it is a Turing-complete machine.

Recibió el Premio Turing por el desarrollo de estos lenguajes de programación en 1984. Se jubiló en 1999.
He received the ACM Turing Award for the development of these languages and in 1994 he was inducted as a Fellow of the ACM.

Floyd recibió el Premio Turing de la ACM en 1978 «por tener una clara influencia en las metodologías para la creación de software eficiente y confiable, y por haber contribuido a la fundación de las subáreas teoría del reconocimiento de frases, semántica de los lenguajes de programación, verificación automatizada de programas, síntesis automatizada de programas y análisis de algoritmos».
He obtained this position without a Ph.D. He received the Turing Award in 1978 "for having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms".

Pues bien, cuando en el año 2014 ese niño prodigio ruso-canadiense llamado Vitalik Buterin, con tan solo 19 años, pone en marcha esa blockchain de segunda generación llamada Ethereum, nos va a decir que se trata de una blockchain que utiliza un lenguaje de programación Turing-completo, y que aspira a convertirse en la máquina universal de programación, the World Computer.
And so, when in 2014 Russian Canadian child prodigy Vitalik Buterin, at the tender age of 19, brought that second generation blockchain called Ethereum into operation, he would tell us that it was a blockchain using a Turing-complete programming language, and aspiring to become the universal programming machine, the World Computer.

“Para ello, elegiremos un derivado de Smallfuck, un lenguaje de programación esotérico, que ha demostrado ser Turing completo – Si podemos simular eso en Bitcoin, sabemos que es Turing completo”, añade el programador.
“For that, we’ll pick a derivative of Smallfuck, an esoteric programming language, which has been shown to be Turing complete — If we can simulate that on Bitcoin, we know it’s Turing complete,” the programmer adds.

El Departamento de Informática (UCPH) se fundó en 1970 por el futuro ganador del premio ACM Turing Peter Naur, un pionero en el diseño e implementación de lenguajes de programación.
The Department of Computer Science (UCPH) was founded in 1970 by future ACM Turing Award winner Peter Naur, a pioneer in programming language design and implementation.

Pues bien, cuando en el año 2014 ese niño prodigio ruso-canadiense llamado Vitalik Buterin, con tan solo 19 años, pone en marcha esa blockchain de segunda generación llamada Ethereum, nos va a decir que se trata de una blockchain que utiliza un lenguaje de programación Turing-completo, y que aspira a convertirse en la máquina universal de programación, no solo registran de forma simultánea esos mensajes sencillos que son las transacciones de bitcoins, sino que en ellos se puede ejecutar a la vez cualquier operación que sea programable, conservándose todos los pasos del proceso y su resultado en un registro distribuido, transparente, no manipulable y de acceso universal.
And so, when in 2014 Russian Canadian child prodigy Vitalik Buterin, at the tender age of 19, brought that second generation blockchain called Ethereum into operation, he would tell us that it was a blockchain using a Turing-complete programming language, and aspiring to become the universal programming machine, the World Computer. This brought Turing’s original idea into a new dimension: it was not a question of creating an individual reprogrammable machine for universal computation objects, but instead the existence of a network of computers which besides simultaneously recording those simple messages that are bitcoin transactions, also allow any programmable transaction within their capability to be carried out on them at the same time, and every step in the process and its result may be stored on a distributed, transparent, and incorruptible record with universal access.

En su discurso de aceptación del Premio Turing en 1977, Backus describió lo que considera como la necesidad de un cambio a una filosofía diferente en el diseño de lenguajes de programación:
In his 1977 Turing award lecture, Backus set forth what he considered to be the need to switch to a different philosophy in programming language design:[1]