и дугами позицій P l іP k .
В отриманій мережі Петрі відсутні позиції вільного вибору, вихідні дуги яких є вхідними дугами переходів, помічених однаковими терміналами. А значить, мережа Петрі (рис. 7) вже детермінірованаі мінімізована. p align="justify"> Тепер позначимо позиції мережі Петрі наступними літерами:
S -> A S1, S3 -> BF -> C F7 -> D F2, F5 -> E F1, F4 -> FS2, S4-> GD, E-> HA, B, C-> I F3, F6, F8 -> J Z-> K
Приберемо переходи з мережі Петрі, дуги підпишемо терміналами переходів, тоді отримаємо граф переходів (рис. 8).
Граф переходів, отриманий з мережі Петрі
В
Рис. 8
Порівнявши отриманий граф (рис. 8) з графом мінімального автомата (мал. 4) ми бачимо, що вони ідентичні. Значить, мінімальний автомат побудований правильно. br/>
8. Опис програми, що реалізує розпізнає автомат
Вступна частина
Програма: машина Тьюринга
Позначення програми: turing.exe
Програма використовується для побудови моделей машини Тьюринга
Функціональне призначення
Програма призначена для моделювання роботи машини Тьюринга. Програма обробляє ланцюжок вхідних символів згідно з правилами граматики, записаним у вигляді таблиці переходів, і встановлює стан, що дозволяє визначити допустимість ланцюжка. p align="justify"> Системні вимоги
1. Операційна система сімейства Windows, Linuxілі MacOSс графічним фреймворком Qtверсіі не менше 4.0
. Оперативна пам'ять не менше 32 мегабайт
. 10 мегабайт місця на жорсткому диску
Опис вхідних даних
У налаштуваннях програми задається слідую щая інформація:
. Таблиця переходів кінцевого автомата
. Безліч станів машини
. Безліч вхідних символів
. Порожній символ стрічки
. Кінцеві стану машини
. Допустимі стану машини
На вхід програмі подається рядок, символи якої входять до безліч вхідних символів машини. Рядок перевіряється на коректність і вводить в програму тільки містяться у вхідному безлічі символи. p align="justify"> Для допуску рядки вводиться додаткове стан, що не являющася стан...
