Abstract by Nathan Woodbury
Behavior and Computation
We introduce the notion of behavior, which is a set of constraints among manifest variables. We build on behavior to introduce and define dynamic systems as a common framework for discussing computation in a variety of fields, including computer science and control theory. We illustrate this framework using examples such as finite-state automata, Turing machines, and linear state-space models.