6. Учебно-методическое обеспечение

А. Основная литература

1. Теория автоматов / М.А. Горбатова. – М.: АСТ, 2009. – 559 с.

2. Громкович, Ю. Теоретическая информатика. Введение в теорию автоматов, теорию вычислимости, теорию сложности, теорию алгоритмов, рандомизацию, теорию связи и криптографию: учебник / Ю. Громкович. – СПб.: БХВ-Петербург, 2010.

Б. Дополнительная литература

1. Новиков Ф.А. Дискретная математика для программистов. - СПБ.: Питер, 2005. – 304 с.

2. Пономарев В.Ф. Дискретная математика для информатиков – экономистов: учебное пособие. - Калининград: КГТУ, 2002. – 163 с.

3. Яблонский С.В. Введение в дискретную математику. – М.: Высшая школа, 2005. – 384 с.

В. Программное обеспечение

Не предусмотрено.

Г. Базы данных, информационно-справочные и поисковые системы

Автоматизированная информационно-библиотечная система «Марк».

ЭБС IPRbooks: www.iprbookshop.ru.

ЭБС ВСЭИ: http://edu/vs_library/index.php

Приложения

Приложение 1

Трансформация автомата Мили в автомат Мура

Задание:

1. Исходный автомат Мили представить матрицами переходов и выходов.

2. Изобразить граф автомата Мили.

3. Построить множество Ав для каждого состояния автомата.

4. Изобразить граф эквивалентного автомата Мура.

5) Найти реакции автоматов Мура и Мили, если на вход автоматов

подается последовательность {z1,z2,z2,z1,z1,z1,z2,z1,z2,z1}.

1. Исходная таблица переходов a

a	a1	a2	a3	a4	a5	a6
z1	a2	a4	a3	a3	a2	a3
z2	a6	a3	a5	a6	a4	a1

Исходная таблица выходов W

a	a1	a2	a3	a4	a5	a6
z1	w1	w1	w1	w2	w1	w2
z2	w1	w1	w1	w1	w1	w2

	a1	a2	a3	a4	a5	a6
a1	-	z1/w1	-	-	-	z2/w1
a2	-	-	z2/w1	z1/w1	-	-
a3	-	-	z1/w1	-	z2/w1	-
a4	-	-	z1/w2	-	-	z2/w1
a5	-	z1/w1	-	z2/w1	-	-
a6	z2/w2	-	z1/w2	-	-	-

Два автомата S1 и S2 называются эквивалентными, если:

а) входной и выходной алфавиты совпадают;

б) их реакции из исходного состояния на любое входное слово совпадают;

A₁={<a₁,w₂>}={b₁}

A₂={<a₂,w₁>}={b₂}

A₃={<a₃,w₁>,<a₃,w₂>}={b₃,b₄}

A₄={<a₄,w₁>}={b₅}

A₅={<a₅,w₁>}={b₆}

A₆={<a₆,w₁>}={b₇}

A_B={b₁,b₂,b₃,b₄,b₅,b₆,b₇}

Последовательность на входе

{z1,z2,z2,z1,z1,z1,z2,z1,z2,z1}

Реакция автомата Мили

w1, w1, w1, w1, w1, w2, w1, w1, w1, w1

Реакция автомата Мура

w1,w1,w1,w1,w1,w2,w1,w1,w1,w2

Эквивалентность доказана.

Ковязина Елена Михайловна