Задание на лабораторную работу.

ОТЧЕТ ПО ЛАБОРАТОРНОЙ РАБОТЕ №5

 

«Преобразование автомата Мура в автомат Мили.

 

Вариант №15»

 

 

 

 

Преподаватель	подпись, дата	А.И. Постников
Студент, КИ11-08б	подпись, дата	К. А. Басюк

 

 

 

Красноярск 2013 г.

Задание на лабораторную работу.

 

Преобразовать частично заданный автомат Мура, представленный ниже в матричной форме, в эквивалентный ему автомат Мили.

Порядок выполнения работы:

1. По заданной в варианте матричной форме описания работы автомата Мура составить отмеченную таблицу переходов автомата.

2. Составить граф исходного автомата Мура.

3. В программе проверки эквивалентности автоматов СМ.exe ввести

1. число состояний исходного автомата Мура;

2. число комбинаций входных сигналов исходного автомата Мура;

3. число выходных сигналов исходного автомата Мура;

4. номер варианта.

4. В сформированную таблицу занести информацию из составленной в п. 1 отмеченной таблицы переходов исходного автомата Мура.

5. Проверить правильность составленной отмеченной таблицы переходов.

6. Составить граф автомата Мили эквивалентного заданному автомату Мура.

7. Составить совмещённую таблицу переходов и выходов автомата Мили эквивалентного заданному автомату Мура.

8. В программе проверки эквивалентности автоматов СМ.exe ввести

5. число состояний автомата Мили эквивалентного заданному автомату Мура;

6. число комбинаций входных сигналов автомата Мили эквивалентного заданному автомату Мура;

7. число выходных сигналов автомата Мили эквивалентного заданному автомату Мура.

9. В сформированную таблицу занести информацию из составленной в п. 7 совмещённой таблицы переходов и выходов автомата Мили эквивалентного заданному автомату Мура.

10. Проверить правильность составленной совмещённой таблицы переходов и выходов.

11. Сохранить выполненную работу в файле для демонстрации её преподавателю.

12. Оформить отчёт по выполненной лабораторной работе. При составлении отчёта:

1. дополнить его графом исходного автомата Мура, составленным при выполнении п. 2 задания;

2. сравнить граф автомата Мили эквивалентного заданному автомату Мура составленный при выполнении п. 6 задания с графом, автоматически построенным программой проверки эквивалентности автоматов СМ.exe.

 

 

–

–

x4

–

–

–

–

–

–

y1,y6

–

–

–

–

–

x4

–

–

x3

y3

–

x1

–

–

–

–

x2

x3

–

y0

x3

–

–

–

–

–

x1

–

–

y4

С=

–

–

–

x2

–

–

x1

–

–

Y=

y2

–

–

–

x3

x2

–

–

–

–

y5

–

x2

–

–

–

–

–

x4

–

y6

–

–

–

–

–

x1

–

–

–

y5

–

–

–

–

*

–

–

–

–

y5

 

 

Число состояний исходного автомата Мура: 9

Число входных сигналов исходного автомата Мура: 4

Число выходных сигналов исходного автомата Мура: 7

 

Отмеченная таблица исходного автомата Мура:

 

Состояния	a0	a1	a2	a3	a4	a5	a6	a7	a8
Вых. сигн.(y)	y1,y 6	y3	y0	y4	y2	y5	y6	y5	y5
x1	-	-	a1	a6	a6	-	-	a5	a4
x2	-	-	a6	-	a3	a4	a1	-	a4
x3	-	a8	a7	a0	-	a3	-	-	a4
x4	a2	a5	-	-	-	-	a7	-	a4

 

 

Число состояний эквивалентного автомата Мили: 9

Число входных сигналов эквивалентного автомата Мили: 4

Число выходных сигналов эквивалентного автомата Мили: 7

 

Совмещенная таблица эквивалентного автомата Мили:

 

Состояния	a0	a1	a2	a3	a4	a5	a6	a7	a8
x1	-/-	-/-	a1/y3	a6/y6	a6/y6	-/-	-/-	a5/y5	a4/y2
x2	-/-	-/-	a6/y6	-/-	a3/y4	a4/y2	a1/y3	-/-	a4/y2
x3	-/-	a8/y5	a7/y5	a0/y1,y6	-/-	a3/y4	-/-	-/-	a4/y2
x4	a2/y0	a5/y5	-/-	-/-	-/-	-/-	a7/y5	-/-	a4/y2

 

Граф эквивалентного автомата Мили:

 

 

Граф автомата Мура: