Ceci contraste avec la théorie des hiérarchies subrécursives, des méthodes formelles et des langues formelles qui est courante dans l'étude de la théorie de la calculabilité en informatique.
La théorie de l'informatisation fait partie de l'informatique.