Questions marquées «reversible-computing»

Jeu de galets parallèle sur une ligne

Dans le jeu de galets sur une ligne, il y a N + 1 nœuds étiquetés de 0 à N. Le jeu commence par un caillou sur le nœud 0. S'il y a un caillou sur le nœud i, vous pouvez ajouter ou supprimer un caillou du nœud i + …

13 complexity reversible-computing

Algorithmes d'inversion de programme pour les programmes d'ordre supérieur

Le terme inversion de programme a plusieurs nuances de sens, mais a probablement commencé avec le travail de J. McCarthy de 1956, The Inversion of Functions Defined by Turing Machines dans le contexte de l'IA. À présent, de nombreuses connexions entre l'inversion de programme et d'autres domaines ont été découvertes, …

10 reference-request lambda-calculus typed-lambda-calculus reversible-computing

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.