State equations for discrete state systems.
Victor Yodaiken · arXiv (Cornell University) · 2016
A method for specifying the behavior and architecture of discrete state systems such as digital electronic devices and software. The method draws on state machine theory, automata products, and recursive functions and is ordinary working mathematics, not involving formal methods or any foundational or meta-mathematical techniques. Systems in which there are levels of components that may operate in parallel or concurrently are specified in terms of function composition. An example of a network of computing devices communicating via message exchange is provided.