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

  Скачати повний текст