МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ ”ЛЬВІВСЬКА ПОЛІТЕХНІКА”

МОВИ ТА АВТОМАТИ

МЕТОДИЧНІ ВКАЗІВКИ

до лабораторної роботи №7

з дисципліни ’’Математична лінгвістика” для студентів базового напряму ’Філологія”

Затверджено на засіданні кафедри інформаційних систем та мереж Протокол №14 від18.05.2007р.

Львів-2007

Мови та автомати: Методичні вказівки до лабораторної роботи №7 / Укл.: Ю.М.Щербина, В.А.Висоцька, Т.В.Шестакевич. - Львів:

Видавництво Національного університету ’Львівська політехніка”, 2007. - 19 с.

Укладачі Щербина Ю.М., канд. фіз.-мат. наук, доц.

Висоцька В.А., асистент Шестакевич Т.В., асистент

Відповідальний за випуск Пасічник В.В., доктор техн. наук., проф.

Рецензенти Верес О.М., канд.. техн. наук, доц.

2

ЗМІСТ

ВСТУП 4

1. АВТОМАТИ 4

   1. Скінченний автомат з виходом 4

   2. Скінченний автомат без виходу 6

2. МОВИ 8

3. ЛІТЕРАТУРА 13

4. ЗАВДАННЯ 13

5. ВИМОГИ ДО ЛАБОРАТОРНОЇ РОБОТИ 18

3

Мета роботи: Необхідно розглянути основні властивості автоматів та принципи побудови мов. Показати зв’язок між граматиками і автоматами.

ВСТУП

Запровадження ЕОМ у сферу інтелектуальної діяльності людини покликало до життя нову комунікативну систему «людина - машина - людина», в межах якої функціонування природної мови відрізняється від функціонування її в безпосередньому людському спілкуванні. Дослідження й опис природної мови в нових комунікативних системах вимагає й нових методів та підходів. Для розв’язування поставлених проблем прикладна лінгвістика повинна, використовуючи власне лінгвістичні дані, звертатися до багатьох інших дисциплін - кібернетики, математики, психології, фізики, медицини. Цим вона сприяє розширенню контактів мовознавчої науки з іншими науками і збагаченню лінгвістики новими точними методами дослідження мови.

1Автомати

1. Скінченний автомат з виходом

Скінченний автомат M = (S, I, O, f, g, s₀) складається з:

• скінченної множини станів S;

• скінченного вхідного алфавіту I;

• скінченного вихідного алфавіту O;

• функції переходів f: S х I ^ S;

• функції виходів g: S х I ^ O;

• початкового стану s₀.

Скінченний автомат може бути заданий двома способами:

За допомогою таблиці станів, яка містить значення функції переходів f та функції виходів g для всіх пар (я, і), де s є S, і є I.

За допомогою діаграми станів, яка є орієнтованим графом з поміченими дугами. Кожна вершина графа відповідає стану. Дуга позначається вхідним і вихідним сигналами, які відповідають заданому цією дугою переходу з одного стану в інший.

Приклад 1. Задання автомата таблицею (табл. 1) і діаграмою (рис. 1).

4

Стан	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