Η Θεωρία της υπολογισιμότητας για τον ψηφιακό υπολογισμό έχει αναπτυχθεί καλά. Η Θεωρία της υπολογισιμότητας είναι λιγότερο καλά αναπτυγμένη για [[αναλογικό υπολογισμό]] που εμφανίζεται σε [[αναλογικούς υπολογιστές]] , [[αναλογική επεξεργασία σήματος]] , [[αναλογικά ηλεκτρονικά]] , [[νευρωνικά δίκτυα]] και συνεχούς χρόνου [[θεωρία ελέγχου]] διαμορφωμένη από [[διαφορικές εξισώσεις]] και συνεχή [[δυναμικά συστήματα]] (Orponen 1997, Moore 1996).
== Σχέσεις μεταξύ Προσδιορισιμότητας και Υπολογισιμότητας ==