
МІНІСТЕРСТВО
ОСВІТИ І НАУКИ УКРАЇНИ НАЦІОНАЛЬНИЙ
УНІВЕРСИТЕТ ”ЛЬВІВСЬКА ПОЛІТЕХНІКА”
МОВИ
ТА АВТОМАТИ
МЕТОДИЧНІ
ВКАЗІВКИ
до
лабораторної роботи №7
з дисципліни
’’Математична лінгвістика” для
студентів базового напряму ’Філологія”
Затверджено
на засіданні кафедри інформаційних
систем та мереж Протокол №14
від18.05.2007р.
Львів-2007
Мови
та автомати: Методичні вказівки до
лабораторної роботи №7
/
Укл.: Ю.М.Щербина, В.А.Висоцька, Т.В.Шестакевич. -
Львів:
Видавництво
Національного університету ’Львівська
політехніка”, 2007.
- 19
с.
Укладачі Щербина
Ю.М., канд. фіз.-мат. наук, доц.
Висоцька
В.А., асистент Шестакевич Т.В., асистент
Відповідальний
за випуск Пасічник В.В., доктор техн.
наук., проф.
Рецензенти Верес О.М.,
канд.. техн. наук, доц.
2
ЗМІСТ
ВСТУП
4
АВТОМАТИ
4
Скінченний
автомат з виходом 4
Скінченний
автомат без виходу 6
МОВИ 8
ЛІТЕРАТУРА 13
ЗАВДАННЯ 13
ВИМОГИ
ДО ЛАБОРАТОРНОЇ РОБОТИ 18
3
Мета
роботи: Необхідно розглянути основні
властивості автоматів та принципи
побудови мов. Показати зв’язок між
граматиками і автоматами.
ВСТУП
Запровадження
ЕОМ у сферу інтелектуальної діяльності
людини покликало до життя нову
комунікативну систему «людина - машина
- людина», в межах якої функціонування
природної мови відрізняється від
функціонування її в безпосередньому
людському спілкуванні. Дослідження й
опис природної мови в нових комунікативних
системах вимагає й нових методів та
підходів. Для розв’язування поставлених
проблем прикладна лінгвістика повинна,
використовуючи власне лінгвістичні
дані, звертатися до багатьох інших
дисциплін - кібернетики, математики,
психології, фізики, медицини. Цим вона
сприяє розширенню контактів мовознавчої
науки з іншими науками і збагаченню
лінгвістики новими точними методами
дослідження мови.
Скінченний
автомат M
= (S,
I,
O,
f,
g,
s0)
складається
з:
скінченної
множини станів S;
скінченного
вхідного алфавіту I;
скінченного
вихідного алфавіту O;
функції
переходів f:
S
х
I
^
S;
функції
виходів g:
S
х
I
^
O;
початкового
стану s0.
Скінченний
автомат може бути заданий двома
способами:
За
допомогою таблиці станів, яка містить
значення функції переходів f
та функції
виходів g
для всіх
пар (я, і),
де s
є S,
і
є I.
За
допомогою діаграми станів, яка є
орієнтованим графом з поміченими
дугами. Кожна вершина графа відповідає
стану. Дуга позначається вхідним і
вихідним сигналами, які відповідають
заданому цією дугою переходу з одного
стану в інший.
Приклад
1. Задання
автомата таблицею (табл. 1)
і діаграмою
(рис. 1).
41Автомати
Скінченний автомат з виходом
Стан |
f |
g |
||
вхід |
вхід |
|||
0 |
1 |
0 |
1 |
|
s0 |
s1 |
s0 |
1 |
0 |
s1 |
s3 |
s0 |
1 |
1 |
s2 |
s1 |
s2 |
0 |
1 |
s3 |
s2 |
s1 |
0 |
0 |
1,0
Початок
1,1
Рис.
1.
Задання
автомата діаграмою станів.
Приклад
2.
Побудувати
скінченний автомат для додавання
двох цілих додатних чисел у двійковій
системі.
Вхідний
алфавіт складається з чотирьох
символів: I
= {00,
01, 10, 11}. Це
необхідно для зображення можливих
значень xt
та yt
- значень
і
-го розряду обох доданків. Вихідний
алфавіт: O
= {0, 1}. Множина
станів
S =
{s0,
s1}.
Стан
s0
відповідає
відсутності переносу з попереднього
розряду, цей же стан початковий. Стан
s1
відповідає
наявності 1
переносу
з попереднього розряду. Розв’язок
подано у табл. 2
і на
рис. 2.
Розв’язок
для прикладу
2 Таб.
2 |
f |
g |
|||||||
вхід |
вхід |
||||||||
00 |
01 |
10 |
11 |
00 |
01 |
10 |
11 |
||
s0 |
s0 |
s0 |
s0 |
s1 |
0 |
1 |
1 |
0 |
|
s1 |
s0 |
s1 |
s1 |
s1 |
1 |
0 |
0 |
1 |
5