Моделирование и формализация модели в теории программирования