Что есть формализализация, например, понятия алгоритма?

Question

[Виктор Чернюгов]

Как можно определять новые средства определения типов данных в языках программирования и базах знаний?
В семантических алгоритмах это сложно. как можно бы это делать проще?
С наступающим.