Рассматривается функциональная эквивалентность программ на подпамяти и описываются два способа моделирования этой эквивалентности. При первом программа заменяется схемой, при втором - диаграммой. Устанавливается, что диаграммное моделирование является аппаратом, применяемым при исследовании схемной модели, и обсуждаются вытекающие из этого задачи.
