Examples with "programmation Turing-complet" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Son but était de créer un langage de programmation Turing-complet simple qui puisse être implémenté avec le plus petit compilateur possible.
Müller's goal was to create a simple Turing-complete programming language which could be implemented with the smallest possible compiler.
Toutefois, inférer les propriétés vérifiées par un programme est un problème difficile : le théorème de Rice énonce que toute propriété non triviale d'un langage de programmation Turing-complet est indécidable.
However, generating properties verified by a program is a difficult problem: Rice's theorem states that any non-trivial property about the language recognized by a Turing machine is undecidable.
Andere resultaten
Ethereum Classic est une plateforme de contrats intelligents utilisant le langage de programmation Turing Complete qui permet aux développeurs de créer et d'exécuter des applications décentralisées, ainsi que d'émettre de nouvelles crypto-monnaies basées sur la blockchain.
Ethereum Classic is a Turing-complete programmable smart contracts platform that allows developers to create and run decentralized applications as well as issue new blockchain-based cryptocurrencies.
Cependant, elle utilise le langage de programmation appelé « Turing complete » pour permettre aux développeurs d'écrire des applications qui peuvent contrôler et automatiser des transactions sur la base de certains résultats.
However, it uses Turing complete programming language to allow developers to build Ethereum applications that can control and automate transactions on the basis of certain outcomes.
De plus, de nombreuses organisations n'ont besoin que de tokens de base ; ils prennent le risque du langage de programmation « Turing-complet » d'Ethereum sans profiter de beaucoup de ses avantages.
Moreover, many organizations require only basic tokens; they adopt the risk of Ethereum's Turing complete programming language without taking advantage of many of its benefits.
Un langage de programmation est dit Turing-complet s'il permet de représenter toutes les fonctions calculables au sens de Turing (donc aussi performant qu'une machine de Turing).
A programming language is said to be Turing-complete if it has computational power equivalent to a universal Turing machine.
Pour des requêtes plus complexes et plus intéressantes sur des modèles de graphes variés (incluants RDF), Gremlin - un langage de programmation pour graphes Turing-complet et orienté XPath - est en cours de développement par l'équipe TinkerPop, principalement conduite par Marko A. Rodriguez.
For more complex and interesting queries for various graph data models (including RDF), Gremlin - an XPath-oriented, turing-complete graph programming language - is being developed by the TinkerPop team, primarily driven by Marko A. Rodriguez.
Pour ce faire, Ethereum utilise un langage de programmation complet de Turing.
ENIAC a été Turing-complet: il peut être programmé pour résoudre tous les problèmes.
ENIAC was Turing-complete: it can be programmed to resolve all problems.
Ce n'est pas seulement une plateforme, mais un langage de programmation complet connu sous le nom de « Turing Complete ».
It is not only a platform, but a complete programming language known as "Turing Complete".
La programmation orientée retour repose sur l'approche par fragmentation de code et l'étend afin de fournir une approche Turing-complet à l'attaquant, y-compris les boucles et les branchements conditionnels,.
Return-oriented programming builds on the borrowed code chunks approach and extends it to provide Turing complete functionality to the attacker, including loops and conditional branches.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor programmation Turing-complet in het Frans
