Мат. лінгвістика 7
.pdf5.2.1Побудувати скінченний автомат з виходом, у якого вхідний алфавіт {0, 1, Q} і вихідний {0, 1, P, N}. Вихідна послідовність з 0 та 1 збігається з вхідною, а на кожний символ запиту Q друкується P - якщо кількість 1 від початку роботи парна, і N - якщо непарна.
5.2.2Побудувати скінченний автомат для реалізації процедури входу в систему. Користувач вводить ідентифікаційний номер, а потім – на відповідний запит – пароль. Якщо ідентифікаційний номер або пароль некоректні, то видається запит ідентифікаційного номера користувача. Ідентифікаційний номер і пароль вважати одиночними символами.
5.2.3Побудувати скінченний автомат з вхідним і вихідним алфавітами {0, 1}. Автомат видає на виході 1, якщо на вхід подано підряд 5 або більше одиниць і видає 0 у протилежному випадку.
5.2.4Побудувати скінченний автомат для додавання двох цілих додатних чисел у трійковій системі. Продемонструвати роботу кількома прикладами.
5.2.5Побудувати скінчений детермінований автомат, який подає на виході одиницю тоді, коли першим на вхід було подано рядок 101011; двійку, якщо першим на вхід було подано рядок 0010; нуль – у протилежному випадку.
5.2.6Побудувати скінчений детермінований автомат, який подає на виході двійку тоді, коли першим на вхід було подано рядок 22011; двійку, якщо першим на вхід було подано рядок 22010; нуль – у протилежному випадку.
5.2.7Побудувати скінчений детермінований автомат, який подає на виході одиницю тоді, коли першим на вхід було подано рядок 02121; двійку – якщо вхідна послідовність починається з трьох одиниць підряд і нуль в протилежному випадку.
5.2.8Побудувати скінчений детермінований автомат, який подає на виході одиницю тоді, коли першим на вхід було подано рядок 02121; двійку – якщо вхідна послідовність починається з рядка 02221; нуль, якщо першими на вхід подано два нулі поспіль.
5.2.9Побудувати скінчений детермінований автомат, що реалізує перетин кордону, коли наявність візи перевіряють на виїзді з країнівідправника і на в’їзді в іншу країну. Врахувати, що повернення в країнувідправник відбувається при порушеннях, виявлених у будь-який момент перевірки.
5.2.10Побудувати скінчений детермінований автомат, що реалізує принципи спортивного орієнтування: гравець робить позначки на чотирьох
11
КПП, причому відмітка не ставиться, якщо гравець не має відмітки з попереднього пункту.
5.2.11Побудувати скінчений детермінований автомат, що реалізує принципи переведення з курсу на курс в університеті. якщо студент успішно склав іспити за попередній рік, його переводять на наступний курс. Якщо іспити не складено, студента залишають на другий рік. Після успішного завершення останнього курсу студент отримує диплом.
5.2.12Побудувати скінчений детермінований автомат, що реалізує процес здачі лабораторної роботи: для того щоб отримати максимальний бал за роботу, необхідно врахувати наявність усіх завдань, правильність виконання, акуратність реалізації та підготовку студента. Якщо один з аспектів не виконується, здача роботи призупиняється до його виконання.
5.2.13Побудувати скінчений детермінований автомат, що реалізує процес виробництва дверей: при відсутності необхідних деталей виробництво призупиняється до поступлення сировини.
5.2.14Побудувати скінчений детермінований автомат, що реалізує процес приготування довільної страви: якщо немає відповідного інгредієнта, страва псується.
5.2.15Побудувати скінчений детермінований автомат, що реалізує алгоритм підготовки до весілля: необхідно визначити щонайменше три аспекти, наявність яких впливає на процес підготовки.
5.2.16Побудувати скінчений детермінований автомат, що реалізує перевірку документів для закордонної поїздки по обміну студентами: якщо наявні український та закордонний паспорти, є віза, дозвіл ВУЗу та згода ВУЗу-отримувача – поїздка відбудеться. Відсутність хоча б одного з документів відміняє подорож.
5.2.17Побудувати скінчений детермінований автомат, що реалізує набирання телефонного номеру.
5.2.18Побудувати скінчений детермінований автомат, вхідна послідовність якого співпадає з вихідною, а кожну третю одиницю замінює на 3.
5.3Дано граматику G=(V, T, S, P), де V={0, 1, S, A, B}, T={0,1}, S
–початковий символ. Виконати наступні завдання:
Побудувати мову, породжену такою граматикою.
Побудувати недетермінований скінчений автомат, що допускає мову, породжену даною граматикою; задати автомат діаграмою та таблицею.
5.3.1 |
P S 0A, S , S 0, A 1 ; |
5.3.2 |
P S 101A, A 1A, A 0 ; |
12
5.3.3 |
P S 0A, S 1B, A 0, B 0 |
|
|
5.3.4 |
P S 0A, A 01, |
S 0B, B |
10 ; |
5.3.5 |
P S 1S, S 0, |
S B, B 01 ; |
|
5.3.6P S B01, B 1B, B 0 ;
5.3.7P S 1A, A 1, A 0, S 0 ;
5.3.8 |
P S 111S, S ; |
|
|
|
|
|||
5.3.9 |
P S 0A, A 01B, S 0B, |
B 10 ; |
|
|
||||
5.3.10 |
P S 0S, |
A A1, |
S A, A ; |
|
|
|||
5.3.11 |
P S S1, |
S A, |
S 1, |
S , A 0 ; |
|
|
||
5.3.12 |
P S 1A, |
A 101, |
S 0B, |
B 010 ; |
|
|
||
5.3.13 |
P S 01A, A 00, |
S 0B, |
B 110 ; |
|
|
|||
5.3.14 |
P S 1A, |
S 0, |
S , |
B 1, A 0B ; |
|
|
||
5.3.15 |
P S 0S, |
S , |
S 1 ; |
|
|
|
||
5.3.16 |
P S 1B, |
S 0, |
A 1A, |
A 0B, A 1, |
A 0, |
B 1 ; |
||
5.3.17 |
P S AB, A 1, |
S 1A, |
B 01 ; |
|
|
|||
5.3.18P S S11, S 0 ;
5.3.19P S 10S1, S ;
|
5.3.20 |
P S 1B0, |
B 1B, |
B 0 . |
|
|
|
|
|
|
|
|
|||||
|
5.4 |
Побудувати граматику, яка породжує мову, що її допускає |
|||||||||||||||
наступний автомат |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
1 |
поч. |
S0 |
0 |
S1 |
1 |
S2 |
|
|
14 |
поч. |
S0 |
1 |
S1 |
0,1 |
S2 |
|
|
|
|
1 |
|
1 |
|
0 |
|
|
|
|
0 |
|
|
|
|
|
|
2 |
поч. |
S0 |
1 |
S1 |
1 |
0 |
1,0 |
S3 |
15 |
поч. |
S0 |
0 |
S2 |
|
0 |
S3 |
|
|
S2 |
|
|
|
1 |
1 |
0,1 |
|
|
||||||||
|
|
|
|
0 |
|
|
|
|
|
|
|
|
0 |
|
|||
|
|
|
|
|
|
|
0,1 |
|
|
|
|
S1 |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
3 |
поч. |
S0 |
1 |
S1 |
0 |
S2 |
|
|
16 |
Початок |
|
|
|
|
|
|
0,1 |
|
|
|
|
|
|
|
|
|
|
|
s0 |
1 |
|
s1 |
|
0,1 |
s |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
0 |
|
1 |
|
0,1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
4 |
поч. |
S0 |
0,1 |
S1 |
1 |
S2 |
0 |
S3 |
17 |
поч. |
S0 |
1,0 |
S1 |
|
0 S2 |
|
|
|
|
|
|
0 |
|
1 |
|
0,1 |
|
|
|
|
1 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
13
5 |
|
|
|
|
|
|
0,1 |
|
|
18 |
|
|
|
0,1 |
S1 |
1 |
|
|
|
|
|
поч. |
S0 |
0,1 |
|
S1 |
0 |
S2 |
0,1 |
S3 |
|
|
|
|
0 |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
поч. |
|
S0 |
|
S2 |
1,0 |
S3 |
|
|
|
|
|
|
|
|
|
|
0,1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0,1 |
|
|
|
6 |
поч. |
S0 |
1,0 |
|
S1 |
|
|
|
|
19 |
|
|
|
|
|
1 |
|
|
0,1 |
|
|
|
|
|
|
Початок |
|
|
|
|
|
|
|
|
|||||||
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
1 |
|
|
|
|
|
|
|
|
s |
0 |
s1 |
|
|
s |
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
0 |
|
|
|
|
|
|
|
0 |
|
|
0 |
|
2 |
|
|
|
|
|
S2 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
7 |
поч. |
S0 |
0 |
|
S1 |
0 |
S2 |
1,0 |
S3 |
20 |
поч. |
|
S0 |
1,0 |
S1 |
1,0 |
S2 |
|
||
|
|
|
|
|
1 |
|
|
|
0 |
|
|
|
|
|
1 |
|
|
|
0 |
|
8 |
поч. |
S0 |
1 |
|
S1 |
1,0 |
S2 |
1 |
S3 |
21 |
поч. |
|
S0 |
1 |
S1 |
1 |
S2 |
|
|
|
|
|
|
|
|
|
|
0 |
0,1 |
0,1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S4 |
|
|
|
0 |
|
|
|
|
|
|
|
||
|
|
0 |
|
|
|
|
|
|
|
|
|
|
0 |
|
0,1 |
|
|
|
||
9 |
поч. |
S0 |
|
|
S1 |
|
|
|
22 |
поч. |
S0 |
1 |
0,1 |
|
|
|
|
|||
|
|
0,1 |
|
|
|
|
|
S1 |
|
|
|
|
|
|||||||
|
|
|
|
|
0 |
0 |
|
|
|
|
1 |
1 |
1 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
S2 |
|
1 |
S3 |
|
|
|
|
|
S2 |
0 |
S3 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
10 |
поч. |
|
|
|
1 |
0 |
|
|
|
23 |
|
|
|
|
0 |
|
|
|
|
|
|
S0 |
|
S1 |
S2 |
|
|
|
поч. |
|
S0 |
0 |
S1 |
1 |
S2 |
|
|
|
|||
|
|
0 |
|
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
0,1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11 |
|
|
|
|
|
|
1 |
|
0,1 |
24 |
|
|
Початок |
|
0 |
|
|
|
0,1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Початок |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
s |
|
1 |
s |
|
|
s2 |
|
|
|
s0 |
0 |
s |
|
s2 |
0,1 |
s3 |
|
|
|
|
0 |
|
|
1 |
0 |
|
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
||
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
12 |
Початок |
s |
|
0,1 |
|
s |
1 |
s2 |
25 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
0 |
|
|
|
1 |
|
|
|
|
|
|
s0 |
0,1 |
|
s1 |
|
0 |
s2 |
|
|
|
|
|
|
0 |
|
|
|
Початок |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
13 |
|
|
|
|
|
|
0 |
|
1 |
26 |
|
|
|
1 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Початок |
s0 |
|
0 |
s1 |
1 |
|
s2 |
|
Початок |
s |
|
s1 |
0 |
s |
|
0,1 |
s3 |
||
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
2 |
|
|
|
|||
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
0 |
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
14 |
|
|
|
|
|
|
|
|
|
|
Третій рівень
Придумати та розв’язати завдання, які б відповідали умовам другого рівня.
5 ВИМОГИ ДО ЛАБОРАТОРНОЇ РОБОТИ
1.Кожен студент отримує набір завдань відповідно до свого порядкового номеру у списку групи або відповідно до номеру залікової книжки.
2.Звіт про виконання роботи оформляються у вигляді завдань та розв’язку до них.
3.Звіт акуратно оформляється на аркушах А4 та скріпляються
скріпкою.
4.Звіт про виконання лабораторної роботи необхідно захистити у строго визначені терміни.
5.Загальний принцип оформлення титульного листа лабораторної роботи:
МІНІСТЕРСТВО ОСВІТИ І НАУКИ, МОЛОДІ ТА СПОРТУ УКРАЇНИ НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ "ЛЬВІВСЬКА ПОЛІТЕХНІКА"
Кафедра інформаційних систем та мереж Лабораторна робота №7
на тему
МОВИ ТА АВТОМАТИ
Виконав студент групи СШІ-%%
Прізвище та ініціали студента
Прийняв посада Прізвище та ініціали викладача
Львів-201%
15
НАВЧАЛЬНЕ ВИДАННЯ
МОВИ ТА АВТОМАТИ
МЕТОДИЧНІ ВКАЗІВКИ
до лабораторної роботи №7 з дисципліни «Математична структурна та прикладна лінгвістика»
для студентів напряму «Системи штучного інтелекту»
Укладачі |
Висоцька В.А., асистент |
|
Нікольський Ю.В., д.т.н., професор. |
|
Шестакевич Т.В., асистент |
|
Щербина Ю.М., к.ф.-м.н, доцент. |
Редактор
Комп’ютерне верстання
16
