Об одном критерии сравнимости формальных моделей программстатья