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

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