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

• Овсяк Олександр Володимирович (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"