МОДЕЛЮВАННЯ СИСТЕМИ ГЕНЕРАЦІЇ ПРОГРАМ З ФОРМУЛ ТЕОРІЇ СЕКВЕНЦІЙНИХ АЛГОРИТМІВ

Мета роботи - розроблення математичної моделі та програмна реалізація підсистеми генерації програм з операцій теорії секвенційних алгоритмів.

Об’єкт дослідження - математичне моделювання підсистеми генерації програм з операцій теорії секвенційних алгоритмів.

Предмет дослідження - синтез, мінімізація за кількістю термів абстрактних алгоритмів процесів генерації програм з операцій теорії секвенційних алгоритмів, побудова та дослідження математичної моделі

ОСНОВНІ РЕЗУЛЬТАТИ ТА ВИСНОВКИ

1. Проаналізовано методи подання алгоритмів. Теорія спеціальних алгоритмів незабезпечує поддання алгоритмів формулами. Їхні засобами алгоритм описуються не формально а інтуїтивно. Засоби теорії сенквенційних алгоритмів забезпечують формалізований опис і тотожні перетворення алгоритмів з метою мінімізації.

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

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

4. Синтезовано та мінімізовано за кількістю термів абстрактний алгоритм підсистеми генерації програм з операцій теорії секвенційних алгоритмів, яка включає операції секвентування, елімінування, циклів.

5. Заміною змінних термів абстрактного алгоритму системи генерації програм з операцій теорії секвенційних алгоритмів предметними і заданям секвенційних областей значень побудована та дослідженна за методом математичної індукції математична модель системи генерації програм з операцій теорії секвенційних алгоритмів в якій, ще до практичної реалізації та апробації виявленні і виправленні допущенні при синтезі структури системи генерації програм з операцій теорії секвенційних алгоритмів помилки.

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

Сайт управляется системой uCoz