Coverage and Usage Testing Based on Finite-State Machines and Markov Chains

2005 ◽  
pp. 147-173
Keyword(s):  
Markov Chains ◽  
Finite State Machines ◽  
State Machines ◽  
Finite State

scholarly journals A thermodynamically consistent model of finite-state machines

2018 ◽  
Vol 8 (6) ◽  
pp. 20180037 ◽  
Author(s):  
Dominique Chu ◽  
Richard E. Spinney
Keyword(s):  
Markov Chains ◽  
Entropy Production ◽  
Error Probability ◽  
Energy Levels ◽  
Finite State Machines ◽  
State Machines ◽  
Consistent Model ◽  
Resource Requirements ◽  
Finite State ◽  
Time Required

Finite-state machines (FSMs) are a theoretically and practically important model of computation. We propose a general, thermodynamically consistent model of FSMs and characterize the resource requirements of these machines. We model FSMs as time-inhomogeneous Markov chains. The computation is driven by instantaneous manipulations of the energy levels of the states. We calculate the entropy production of the machine, its error probability, and the time required to complete one update step. We find that a sequence of generalized bit-setting operations is sufficient to implement any FSM.

Sign in / Sign up

Export Citation Format

Share Document