рмальних мов. p align="justify"> Кожен автомат має кінцеве число входів, що сприймають інформацію, зображувану кінцевим числом символів з деякого алфавіту, і кінцеве число виходів для видачі інформації. p align="justify"> Вихідна інформація автомата залежить не тільки від вхідної інформації, а й від внутрішнього стану автомата. Кінцевий автомат має кінцеве число станів. p align="justify"> Автомати часто представляють мережами. Для автомата характерний послідовний спосіб функціонування: автомат послідовно переходить зі стану в стан з заданою функцією переходу і здійснює черговий крок. p align="justify"> 1. ПОСТАНОВКА ЗАВДАННЯ
Необхідно побудувати праволінейную граматику на основі індивідуального завдання і наведеного нижче визначення формальної граматики. Потім по праволінейной граматики побудувати автоматну граматику. Побудувати недетермінірованний кінцевий автомат за отриманою автоматною граматиці. Перетворити недетермінірованний кінцевий автомат в детермінований. Мінімізувати отриманий автомат, побудувати таблицю і граф переходів мінімального автомата. p align="justify"> Побудувати з праволінейной граматиці мережа Петрі. Мінімізувати її - побудувати недетермінірованного мережу. Побудувати детерменірованную мережа Петрі на основі недетермінованої. За отриманою детермінованою мережі Петрі побудувати граф переходів мінімального автомата. Порівняти з графом мінімального автомата, отриманим раніше. p align="justify"> Вхідними для автомата є ланцюжок (рядки, що вводяться з клавіатури) з термінальних символів. На виході автомата видається стан - відхилено або допускає вхідну ланцюжок. p align="justify"> Задана формальна граматика G = t , V n , S, P>, де
V t = {C 1 , C 2 , ..., C 18 } - термінальний словник,
V n = {S, A, B, C, D, E, F} - нетермінальний словник,
S - початковий символ граматики, S Vn,
P - безліч правил виводу
Правила виводу мають наступний вигляд:
S В® C1 C2 C3 A; В® C1 C4 C5 B; В® C6 C; В® C7 F; В® C8 D; В® C9; В® C8 E; В® C9; В® C8 E; В® C9; В® C10 S; В® C11; В® C10 S; В® C11; В® C12 C13 C14 C15; В® C16 C13 C14 C15; В® C17 C18 C15.
2. ІНДИВІДУАЛЬНЕ ЗАВДАННЯ. ПОБУДОВА ПРАВОЛІНЕЙНОЙ ГРАМАТИКИ
Індивідуальним завдання для курсової роботи є дві таблиці (див. табл., 1,2) і правила виводу R. необхідно поставити у відповідність термінальним символам C
