36Определение гса, ф-ии переходов и пути в гса.Матричные схемы алгоритмов.

В условной вершине записывается знач-е осведомительных сигналов.

1)Первый этап синтеза- кодирование содержательной ГСА:каждая микрооперация представленная в ГСА кодируется и ставиться в соответствие какому-то устройству.

2)Осведомительные сигналы или их содержания находящиеся в ГСА ,кодируются в -мн-во логических условий.Результатом такого кодирования получается ГСА.

Особенности ГСА:

В каждой ГСА, между любыми операторными вершинами исуществует путь вида:

- отметка условной вершины.

,если -отмечено 1-ей,

то можно записать

-ф-ия перехода в пути от к.

В каждый момент автоматного времени значения лог операций может меняться ,и если это происходит, то ход вып-я задачи может быть различен ,тогда вводят понятие значение ГСА на лог. усл..

Пусть даны 5 лог условий:

	X1	X2	X3	X4	X5
t1	1	1	0	1	1	
t2	1	0	1	0	0	
t3	0	1	1	0	0	
t4	1	1	1	1	1	

Н-ти значения ГСА для данной последовательности логических условий.

В каждый момент автоматного времени сущ. тот путь между двумя вершинами ф-ия переходов которого равна 1и этот путь всегда должен быть единственным :

t1:

=>

t2:

=>следующая вершина

t3:

Значение ГСА на данной последовательности лог. условий .

Матричная схема алгоритма.(МСА)

МСА-таблица, строки которой помечены Y0,Y1,Y2,…,Yk. На пересечении строк и столбцов записаны логические условия.

Пример:на пересечении Yi и Yj записываются ф-ии переходов, определённые на соответствующем пути.

	Y1	Y2	Y3	Y4	Y5	Yk
Y0	X1
Y1				X3
Y2					X4	X3X5
Y3				X3
Y4						X5
Y5						1

ЭКЗАМЕНАЦИОННЫЕ ВОПРОСЫ ПО КУРСУ ТЕОРИЯ АВТОМАТОВ

1. Кибернетика как наука. Предмет исследования и методы исследования кибернетики.

2. Понятие алгоритма. Требования, предъявляемые к алгоритмам.

3. Блок-схемы алгоритмов, композиция алгоритмов.

4. Алгоритмические модели.

5. Машина Тьюринга и ее структура.

6. Детерминированность и способы задания машины Тьюринга.

7. Алгоритм работы машины Тьюринга.

8. Конфигурация машины Тьюринга.

9. Тьюрингово вычисление (операция «Сложение»)

10. Основная гипотеза теории алгоритмов (Тезис Тьюринга).

11. Непрерывная и дискретная формы представления информации. Дискретное время. Алфавит.

12. Понятие о конечном автомате. Автоматы Мили и Мура.

13. Эквивалентные автоматы Мили и Мура.

14. Абстрактный автомат и способы его задания.

15. Алфавитный и автоматный операторы соответствия.

16. Синтез абстрактного автомата Мили по оператору соответствия.

17. Синтез абстрактного автомата Мура по оператору соответствия.

18. Минимизация абстрактного автомата по графу переходов.

19. Композиция автоматов. Условия корректности построения структурных схем автоматов.

20. Теорема Глушкова. Обобщенная схема структурного автомата.

21. Канонический метод структурного синтеза конечного автомата (табличный)

22. Графический метод структурного синтеза конечного автомата.

23. Элементарные автоматы. Т-триггер, его характеристическое уравнение. Матрица переходов.

24. Элементарные автоматы. D-триггер, его характеристическое уравнение. Матрица переходов.

25. Элементарные автоматы. RS-триггер, его характеристическое уравнение. Матрица переходов.

26. Элементарные автоматы. JK-триггер, его характеристическое уравнение. Матрица переходов.

27. Элементарные автоматы. DV-триггер, его характеристическое уравнение. Матрица переходов.

28. Элементарные автоматы. S-триггер, его характеристическое уравнение. Матрица переходов.

29. Элементарные автоматы. R-триггер, его характеристическое уравнение. Матрица переходов.

30. Элементарные автоматы. Е - триггер, его характеристическое уравнение. Матрица переходов.

31. Элементарные автоматы. RST-триггер, его характеристическое уравнение. Матрица переходов.

32. Устойчивость автоматов, устойчивые и неустойчивые триггеры.

33. Гонки в автоматах и методы их устранения. Синхронные и асинхронные автоматы.

34. Техническая реализация RS-триггера. MS-триггер.

35. Риск в асинхронных автоматах.

36. Определение ГСА, функции переходов и пути в ГСА. Матричные схемы алгоритмов.

37. Синтез абстрактного автомата Мили по ГСА. Модель Уилкса-Стринджера.

38. Синтез абстрактного автомата Мура по ГСА. Модель Уилкса-Стринджера.