Кінцеві об’єкти та їх граматична структура

Анотація

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

Автори займаються розробкою і застосуванням конструктивних структур з метою моделювання та проектування формальних та конкретних прикладних систем. Мета даної роботи розширити представницькі можливості конструктивних структур на конструйованому носії і конкретно показати можливості формального подання та конструювання кінцевих об'єктів довільної природи в гібридних породжують структурах. Гібридизація конструктивних структур на рівні їх носіїв є новим елементом завдання породжують структур.

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