для моделювання роботи машини Тьюринга. Програма обробляє ланцюжок вхідних символів згідно з правилами граматики, записаним у вигляді таблиці переходів, і встановлює стан, що дозволяє визначити допустимість ланцюжка. br/>
8.3 Системні вимоги
1. Операційна система сімейства Windows, Linux або MacOS з графічним фреймворком Qt версії не менш 4.0
2. Оперативна пам'ять не менше 32 мегабайт
. 10 мегабайт місця на жорсткому диску
8.4 Опис вхідних даних
У налаштуваннях програми задається наступна інформація:
1. Таблиця переходів кінцевого автомата
2. Безліч станів машини
. Безліч вхідних символів
. Порожній символ стрічки
. Кінцеві стану машини
. Допустимі стану машини
На вхід програмі подається рядок, символи якої входять до безліч вхідних символів машини. Рядок перевіряється на коректність і вводить в програму тільки містяться у вхідному безлічі символи. p align="justify"> Для допуску рядки вводиться додаткове стан, що не являющася станом мінімального автомата, але необхідну для закінчення роботи машини Тьюринга з допускає результатом.
9. ОПИС контрольного прикладу
9.1 Призначення
Контрольний приклад необхідний для тестування програмної реалізації автомата - програми В«turingВ».
9.2 Вихідні дані
Вхідна ланцюжок символів автомата. Ланцюжки символів складаються з символів вхідного алфавіту автомата
{x0, x1, x2, x3, x4, x5, x6, x7}
Побудуємо ланцюжка символів, для контрольного прикладу, виходячи з праволінейной граматики.
Для перевірки правильності роботи автомата потрібно перевірити його за допомогою допустимих ланцюжків.
Що б отримати допустиму ланцюжок символів необхідно взяти одне з правил, в лівій частині якого стоїть початковий символ S.
Виписати всі термінальні символи з цього правила і якщо в кінці стоїть нетермінал, то перейти до одного з правил, в лівій частині якого стоїть цей нетермінал.
Виписати термінальні символи з цього правила і якщо в кінці стоїть нетеріманл, то перейти до нового правила і т.д., поки ми не дійдемо до правила, права частина якого закінчується терміналом.
Отже, отрим...
