Computational

Mathematical models

Giunti calls the models studied by computation theory computational systems, and he argues that all of them are mathematical dynamical systems with discrete time and discrete state space. He maintains that a computational system is a complex object which consists of three parts. First, a mathematical dynamical system ${\displaystyle DS}$ with discrete time and discrete state space; second, a computational setup ${\displaystyle H=\left(F,B_{F}\right)}$, which is made up of a theoretical part ${\displaystyle F}$, and a real part ${\displaystyle B_{F}}$; third, an interpretation ${\displaystyle I_{DS,H}}$, which links the dynamical system ${\displaystyle DS}$ with the setup ${\displaystyle H}$.