Розробка алгоритму комп"ютерного знищення формул алгоритмів. Синтез, мінімізація та побудова математичної моделі, дослідження алгоритму знищення формул абстрактних алгоритмів. Дослідження процесу вирізання та знищення формули абстрактного алгоритму.
Аннотация к работе
лише найімовірніших елементів, а ймовірності решти елементів моделювати за допомогою показникової чи рівномірної функції.Процес знищення формул алгоритмів у редакторі вимагає виконання таких дій: · вибрати інструмент ідентифікації формули алгоритму чи унітерму; Абстрактний алгоритм процесу знищення формул описує такі унітерми: Унітерм P1(i, c) присвоєння знищуваній формулі константи. Унітерми P1(Ff b, i) присвоєння другій вкладеній формулі (Ff b) в базову формулу другого рівня порядкового номера знищеної формули (i) і P1(Ff a, i) присвоєння першій вкладеній формулі (Ff a) в базову формулу другого рівня порядкового номера знищеної формули елімінуються (L1) за умови перевірки, чи порядковий номер базової формули знищеного унітерму дорівнює порядковому номеру другої вложеної формули в базову формулу другого рівня (u1): Унітерми P1(Fia, Ff) присвоєння першій вкладеній формулі (Fia) в базову формулу знищеного унітерму порядкового номера базової формули другого рівня (Ff) та P1(Fib, Ff) присвоєння другій вкладеній формулі (Fib) в базову формулу знищеного унітерму порядкового номера базової формули другого рівня елімінуються (L2) за умови перевірки, чи порядковий номер знищеного унітерму дорівнює порядковому номеру другої вкладеної формули в базову (u2): Унітерми P1(Fia, c) присвоєння першій вкладеній формулі (Fia) в базову формулу знищеного унітерму константи (c) і P1(Ffb, i) присвоєння другій вкладеній формулі (Ffb) в базову формулу другого рівня константи елімінуються (L3) за умови перевірки, чи порядковий номер базової формули знищеного унітерму дорівнює порядковому номеру другої вкладеної формули в базову формулу другого рівня (u3): Секвенція, якою описується знищення формули у випадку, коли знищувана формула є вкладеною, має такий вигляд: . Елімінування L3 і секвенцію S2 елімінуємо за умови перевірки, чи знищувана формула є вкладеною формулою (u6), у результаті чого отримаємо формулу: Елімінування L4 і порожній унітерм елімінуємо за умови перевірки, чи знищувана формула є унітермом (u7), і отримаємо формулу: За умови перевірки на наявність базової формули в знищуваної формули (u8) елімінуємо елімінування L5 і порожній унітерм: Після підстановки відповідних елімінувань і на основі властивості дистрибутивності операції елімінування мінімізації отримаємо формулу абстрактного алгоритму, якою описується процес знищення формул алгоритмів. Замінивши в абстрактному алгоритмі процесу знищення формул абстрактний унітерм предметним унітермом присвоєння (P1(i , c) на i = c, P1(i , c1) на i = c1 і т. д.), абстрактний умовний унітерм u1 предметним унітермом порівняння (Fi = Ffb) -?, абстрактні умовні унітерм u2 і u3 предметним унітермом перевірки на наявність нижніх індексів (i = Fib) -?, унітерми u4 і u7 предметним унітермом перевірки на тип унітерму (t = 1) -?, унітерм u5 предметним унітермом перевірки на тип унітерму (t = 3)V(t = 5)V(t = 6)V(t = 7) -?, унітерм u6 предметним унітермом перевірки на наявність базової формули другого рівня (Ff = 0) -?, унітерм u8 предметним унітермом перевірки на тип унітерму (t = 2)V(t = 4) -?, унітерм u9 предметним унітермом перевірки на наявність базової формули (F = 0) -? і задавши секвентні області значень змінним, отримаємо модель абстрактного алгоритму процесу знищення унітермів.