уємо допускають ланцюжка:
1) S -> x5 x5 x4 B -> x4 - допустити
8 лютого
звідси отримуємо ланцюжок: x5 x5 x4 x4;
2) S -> x3 C -> x7 E -> x5 - допустити
3 14 вересня
ланцюжок: x3 x7 x5;
3) S -> x1 F -> x3 x0 x6 - допустити
17 квітня
ланцюжок: x1 x3 x0 x6;
Для повної перевірки автомата отримаємо кілька неприпустимих ланцюжків. Їх можна отримати, якщо виписувати термінали, не доходячи до терміналу, який стоїть останнім у правилі. p align="justify"> Або ж якщо зап ісать термінал, якого нету в правій частині жодного з правил, в лівій частині яких стоїть необхідний нетермінал.
Неприпустимі ланцюжка:
4) x5 x5 x4
5) x3 x7
) x1 x3 x0
9.4 Результати випробування програми
Результати випробування програми представлені в таблиці 6.
Таблиця 6 Результат випробування програми
Номер тестованої цепочкіВходная цепочкаРезультат роботи программи1x5 x5 x4 x4цепочка допущена2x3 x7 x5цепочка допущена3x1 x3 x0 x6цепочка допущена6x5 x5 x4цепочка отвергнута7x3 x7цепочка отвергнута8x1 x3 x0цепочка відкинута
Результати випробування програми збіглися з очікуваними, що говорить про правильність побудови мінімального автомата та реалізації програми.
ВИСНОВОК
В ході даної роботи було виконано побудову мінімального детермінованого автомата з праволінейной граматики двома різними способами: за допомогою мереж Петрі і за допомогою таблиць. Автомати, отримані двома способами, ідентичні, що говорить про правильність виконання обчислень. p align="justify"> Для автоматизованої обробки вхідних послідовностей була реалізована машина Тьюринга з встановлюються автоматом. Перевірка теоретично побудованих припустимих і неприпустимих послідовностей показала, що програма працює вірно. br/>
Список літератури
Методичні вказівки для самостійної роботи студентів з дисципліни "Теорія обчислювальних процесів і структур". Ч1/Іжевськ. держ. техн. університет; Упоряд. Сенілов М.А. ІжГТУ, 2000.
ГОСТ 19.005 - 78. Загальні вимоги до програмних документів// Єдина система програмної документації. - М.: Видавництво стандартів, 1980. - 2с.
ДОДАТОК 1
Текст програми
...
