Computability theory for digital computation is well developed.
Η Θεωρία της υπολογισιμότητας για τον ψηφιακό υπολογισμό έχει αναπτυχθεί καλά.