Thermodynamics of deterministic finite automata operating locally and periodically
File(s)Ouldridge_2023_New_J._Phys._25_123013.pdf (639.57 KB)
Published version
Author(s)
Ouldridge, Thomas
Wolpert, David Hilton
Type
Journal Article
Abstract
Real-world computers have operational constraints that cause nonzero entropy production (EP). In particular, almost all real-world computers are 'periodic', iteratively undergoing the same physical process; and 'local', in that subsystems evolve whilst physically decoupled from the rest of the computer. These constraints are so universal because decomposing a complex computation into small, iterative calculations is what makes computers so powerful. We first derive the nonzero EP caused by the locality and periodicity constraints for deterministic finite automata (DFA), a foundational system of computer science theory. We then relate this minimal EP to the computational characteristics of the DFA. We thus divide the languages recognised by DFA into two classes: those that can be recognised with zero EP, and those that necessarily have non-zero EP. We also demonstrate the thermodynamic advantages of implementing a DFA with a physical process that is agnostic about the inputs that it processes.
Date Issued
2023-12-07
Date Acceptance
2023-11-27
Citation
New Journal of Physics, 2023, 25
ISSN
1367-2630
Publisher
IOP Publishing
Journal / Book Title
New Journal of Physics
Volume
25
Copyright Statement
© 2023 The Author(s). Published by IOP Publishing Ltd on behalf of the Institute of Physics and Deutsche Physikalische Gesellschaft. Original content from this work may be used under the terms of the Creative Commons Attribution 4.0 license. Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI.
License URL
Publication Status
Published
Article Number
ARTN 123013