Вивчення математичних моделей процесів генерації, ідентифікації, переміщення і масштабування знаків операцій теорії секвенційних алгоритмів. Оцінка затрат часу для набору та редагування формул. Розгляд нелінійних співвідношень між розмірами алгоритмів.