自动机实现的逻辑耗散——计算的耗散
量子物理
2007-05-23 v1 逻辑
摘要
正如关于计算机能量耗散原理的讨论所揭示的,逻辑对为逻辑功能设计的物理系统施加了约束。我们为有限自动机定义了一种逻辑耗散的概念。我们讨论了与自动机物理实现相关的约束,并展示了模块化在可测试性中所起的作用。结果表明,必然是模块化的实用计算机,其耗散与计算时间成正比。
引用
@article{arxiv.quant-ph/9805018,
title = {Logical Dissipation of Automata Implements - Dissipation of Computation},
author = {Philippe Matherat and Marc-Thierry Jaekel},
journal= {arXiv preprint arXiv:quant-ph/9805018},
year = {2007}
}
备注
12 pages, 13 figures