What is a Model of Computation?
Mechanism for describing a computation
- syntax: objects and composition rules
- semantics: meaning of model
- mostly mathematical, but can be mechanical...
Examples: Finite State Machine, Turing Machine, differential equation
Reactive Real-Time systems:
- computation is mapping from input sequences to output sequences
- time matters!