One reply on “Practical State Machines for Computer Software and Engineering”
[…] as threads. Suppose we have a map α: X → Y where X is the set of finite sequences over X. In an earlier post I explain how these maps are equivalent to state machines. For a finite sequence z we can […]
One reply on “Practical State Machines for Computer Software and Engineering”
[…] as threads. Suppose we have a map α: X → Y where X is the set of finite sequences over X. In an earlier post I explain how these maps are equivalent to state machines. For a finite sequence z we can […]