State Machines of Calculating Type and Their Correctness
Hisayoshi Kunimune, Yasushi Fuwa · 2002
Abstract – In this paper, we define the “correctness ” of a state machine based on a discussion of the “result ” yielding from its final states. For simplicity, we define a state machine called a “calculating type state machine ” that can calculate a simple issue and show some examples of correct calculating type state machines.