Editing Computability theory (section)

===Continuous computability theory===
Computability theory for digital computation is well developed. Computability theory is less well developed for [[analog computation]] that occurs in [[analog computer]]s, [[analog signal processing]], [[analog electronics]], [[artificial neural network]]s and continuous-time [[control theory]], modelled by [[differential equation]]s and continuous [[dynamical system]]s.<ref name="Orponen_1997"/><ref name="Moore_1996"/> For example, models of computation such as the [[Blum–Shub–Smale machine]] model have formalized computation on the reals.