Таблица значений переменных в алгоритме: эффективное моделирование и анализ