та реалізації програми.
Висновок
В ході даної роботи було виконано побудову мінімального детермінованого автомата з праволінейной граматики двома різними способами: за допомогою мереж Петрі і за допомогою таблиць. Автомати, отримані двома способами, ідентичні, що говорить про правильність виконання обчислень. p align="justify"> Для автоматизованої обробки вхідних послідовностей була реалізована машина Тьюринга з встановлюються автоматом. Перевірка теоретично побудованих припустимих і неприпустимих послідовностей показала, що програма працює вірно. br/>
Список літератури
Методичні вказівки для самостійної роботи студентів з дисципліни В«Теорія обчислювальних процесів і структурВ». Ч1/Іжевськ. держ. техн. університет; Упоряд. Сенілов М.А. ІжГТУ, 2000.
ГОСТ 19.005 - 78. Загальні вимоги до програмних документів// Єдина система програмної документації. - М.: Видавництво стандартів, 1980. - 2 с.
