«reversible-computing» etiketlenmiş sorular

Olarak çakıl oyun , bir düğümde çakıl i, eklemek veya düğüm i + 1, bir çakıl taşı kaldırabilir var ise, bir hat üzerinde N. 0 ile düğüm 0. bir çakıl ile oyun başlar etiketli N + 1 düğümleri vardır. Amaç, aynı anda çok fazla çakıl taşı koymadan ve çok fazla …

13 complexity  reversible-computing 

Programın tersine çevrilmesi terimi , birçok anlam gölgesine sahiptir, ancak muhtemelen J. McCarthy'nin AI bağlamında Turing Makineleri tarafından tanımlanan işlevlerin tersine çevrilmesi çalışmasıyla başlamıştır . Şimdiye kadar, program ters çevirme ve diğer alanlar arasında birçok bağlantı keşfedilmiştir, örneğin, tersinir programlama (fiziksel ve mantıksal), kısmi değerlendirme, doğrulama, çift yönlü programlama, mantık …

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