Министерство образования и науки РФ

БРЯНСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ

Кафедра «Информатика и программное обеспечение»

КУРСОВАЯ РАБОТА

«СИНТЕЗ КОНЕЧНОГО РАСПОЗНАЮЩЕГО АВТОМАТА »

по дисциплине

«ТЕОРИЯ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ И МЕТОДЫ ТРАНСЛЯЦИИ »

Выполнил:

студ. гр. 10-ПO2

Калевко В.В.

Руководитель:

асс. Трубаков Е. О..

Брянск 2013

Задание на курсовую работу

По составленному индивидуальному заданию необходимо:

1. построить праволинейную грамматику;

2. построить автоматную грамматику по праволинейной;

3. построить недетерминированный конечный автомат;

4. свести недетерминированный конечный автомат к детерминированному;

5. минимизировать число состояний автомата;

6. разработать программу, имитирующую работу автомата.

Содержание:

1. Построение праволинейной грамматики…………………………………4

2. Построение автоматной грамматики по праволинейной………………..7

3. Построение недетерминированного конечного автомата…………….…8

4. Приведение недетерминированного конечного автомата к детерминированному………………………………………………….….11

5. Минимизация автомата…………………………………………….…….16

1. Построение праволинейной грамматики

В третью строку для каждой из 18 букв строки Si заносится символ из алфавита { x₀, x₁, x₂, x₃, x₄, x₅, x₆, x₇ } в соответствии с табл. 2.

Таблица 1

Ci

c1

c2

c3

c4

c5

c6

c7

c8

c9

c10

c11

c12

c13

c14

c15

c16

c17

c18

Si

К

А

Л

Е

В

К

О

¬

В

И

К

Т

О

Р

¬

В

А

С

Xi

X7

x1

X0

X6

X2

X7

x4

X5

X2

X3

X7

X5

X4

X0

x5

X2

X1

X4

А

Б

В

Г

Д

Е

Ж

3

И

Й

К

Л

М

Н

О

П

x1

x5

x2

x4

x6

x6

x4

x3

x3

х0

x7

х0

x3

x7

x4

x5

Р

С

Т

У

Ф

X

Ц

Ч

Ш

Щ

Ь

Ы

Э

Ю

Я

хо

x4

x5

x7

x2

x5

x1

x2

x2

хо

x6

x1

x1

x3

x7

x5

Табл. 2 построена на основе подсчета появлений каждой буквы русского алфавита в фамилиях, именах и отчествах. Затем буквы сформированы в восемь групп с таким расчетом, чтобы появление каждого из символов x₀-x₇ было равновероятным.

Таблица 2

Для рассматриваемой в работе грамматики G=(V_n, V_t, S, R)

V_n={S,A,B,C,D,E,F};

V_t= {X₁,X₂, X₃,..., X₇};

R -- множество продукций (правил вывода):

S x₇ x₁ x₀ A| x₇ x₆ x₂ B| x₇ С|x₄ F;

A x₅D| x₂;

B x₅ E|x₂; Cx₅ E|x₂;

D x₃ S| x₇; E x₃ S| x₇

F x₅ x₄ x₀ x₅| x₂ x₄ x₀ x₅|x₁ x₄ x₅.

Примерами цепочек, которые принадлежат языку L(G), порождаемому грамматикой G, являются (x₄ x₅ x₀ x₅, x₇ x₁ x₀ x₂).