BYU

Abstract by Nathan Woodbury

Personal Infomation


Presenter's Name

Nathan Woodbury

Co-Presenters

None

Degree Level

Doctorate

Co-Authors

None

Abstract Infomation


Department

Computer Science

Faculty Advisor

Sean Warnick

Title

Behavior and Computation

Abstract

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.