Разделы презентаций
- Разное
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Конечный автомат и его описание
Содержание
- 1. Конечный автомат и его описание
- 2. 7.1 Автомат с памятью До сих
- 3. Общепринятой моделью поведения такого устройства является
- 4. Пример задания комбинационного автомата
- 5. Часто алгоритм функционирования устройства бывает таким, что
- 6. Пусть, например, на вход устройства с входным
- 7. В первый момент времени устройство на входной
- 8. Эта неоднозначность устраняется, если ввести
- 9. Состояния образуют множество Q = {q1, q2, … , qγ}. Тогда алгоритм
- 10. Соответствие (ai, qj) → (qs, bt) можно задать таблицей, где фактически
- 11. Моделью описанного устройства является конечный автомат, представляющий
- 12. Для конечного автомата используется обозначение (A, B, Q, Ψ, Φ). Слово
- 13. Значением функции Ψ(a, q) является состояние q+, в
- 14. Конечный автомат является абстрактной математической моделью дискретного
- 15. При асинхронной реализации указанные моменты времени не
- 16. В асинхронном автомате переход из состояния
- 17. При этом должно выполняться требование
- 18. Слайд 18
- 19. Слайд 19
- 20. Слайд 20
- 21. Слайд 21
- 22. Слайд 22
- 23. Слайд 23
- 24. Слайд 24
- 25. Слайд 25
- 26. Слайд 26
- 27. Слайд 27
- 28. Слайд 28
- 29. Слайд 29
- 30. Слайд 30
- 31. Слайд 31
- 32. Слайд 32
- 33. Слайд 33
- 34. Слайд 34
- 35. Слайд 35
- 36. Слайд 36
- 37. Слайд 37
- 38. Слайд 38
- 39. Слайд 39
- 40. Слайд 40
- 41. Слайд 41
- 42. Слайд 42
- 43. Слайд 43
- 44. Слайд 44
- 45. Слайд 45
- 46. Слайд 46
- 47. Слайд 47
- 48. Слайд 48
- 49. Слайд 49
- 50. Слайд 50
- 51. Слайд 51
- 52. Слайд 52
- 53. Слайд 53
- 54. Слайд 54
- 55. Слайд 55
- 56. Слайд 56
- 57. Слайд 57
- 58. Слайд 58
- 59. Слайд 59
- 60. Слайд 60
- 61. Слайд 61
- 62. Слайд 62
- 63. Слайд 63
- 64. Слайд 64
- 65. Слайд 65
- 66. Слайд 66
- 67. Слайд 67
- 68. Слайд 68
- 69. Слайд 69
- 70. Скачать презентанцию
7.1 Автомат с памятью До сих пор рассматривались устройства, не обладающие памятью. Такие устройства в любой момент времени на любую комбинацию входных двоичных сигналов реагируют однозначно, т. е. каждой комбинации двоичных
Слайды и текст этой презентации
Слайд 3 Общепринятой моделью поведения такого устройства является система булевых функций.
Комбинации двоичных сигналов иногда удобно обозначать абстрактными символами или буквами
некоторого заданного алфавита. Пусть имеется входной алфавит А = {a1, a2, … , aα} и выходной алфавит В = {b1, b2, … , bβ}. Тогда общий вид описания поведения комбина-ционного автомата можно представить таблицей. Эта таблица является аналогом таблицы истинности. Она полностью определяет алгоритм функционирования заданного устройства.
Слайд 5Часто алгоритм функционирования устройства бывает таким, что простым соответствием вида
таблицы его задать невозможно. Для его описания необходимо ввести время,
и работа устройства рассматривается во времени. Время носит дискретный характер, т. е. течение времени представляется как последовательность моментов. В любой момент времени устройство принимает сигнал на входе и выдает сигнал на выходе. В различные моменты устройство может реагировать на один и тот же входной сигнал по-разному.
Слайд 6Пусть, например, на вход устройства с входным и выходным алфавитами
А = {a1, a2, а3, a4} и В = {b1, b2, b3} пришла последовательность сигналов
a1 a1 а3 a2 a2 а4 a3,
а на выходе наблюдается последователь-ность
сигналовb2 b3 b2 b1 b3 b2 b1.
Слайд 7В первый момент времени устройство на входной сигнал а1 реагировало
выходным сигналом b2, а во второй момент на тот же
сигнал – сигналом b3. На сигналы а2 и а3 в разные моменты оно реагировало также по-разному, т. е. поведение устройства нельзя описать тем же способом, что использовался для описания поведения комбинационного автомата.
Слайд 8 Эта неоднозначность устраняется, если ввести понятие внутреннего состояния
или просто состояния. Тогда то, что устройство реагирует на один
и тот же сигнал в разные моменты по-разному, можно объяснить так, что оно находится при этом в разных состояниях. Приняв входной сигнал, устройство выдает выходной сигнал и может перейти в другое состояние.
Слайд 9 Состояния образуют множество Q = {q1, q2, … , qγ}. Тогда алгоритм функционирования устройства можно
представить совокупностью строк вида
(ai, qj) → (qs, bt),
где ai ∈ А, bt ∈ В, qj, qs ∈ Q. Устройство,
поведение которого можно задать в таком виде, носит название «автомат с памятью» или «последовательностный автомат». Последний термин заключает в себе смысл отображения входной последовательности в другую.
Слайд 10Соответствие (ai, qj) → (qs, bt) можно задать таблицей, где фактически представлены две функции,
определенные на множестве A × Q. Областью значений одной функции является множество
Q, другой функции – множество В.
Слайд 11Моделью описанного устройства является конечный автомат, представляющий собой совокупность следующих
объектов:
А = {a1, a2, … , aα} – множество входных символов, или входной алфавит;
В = {b1, b2, … , bβ} – множество
выходных символов, или выходной алфавит;Q = {q1, q2, … , qγ} – множество состояний, или внутренний алфавит;
Ψ : A × Q → Q – функция переходов;
Φ : A × Q → В – функция выходов.
Слайд 12Для конечного автомата используется обозначение (A, B, Q, Ψ, Φ). Слово «конечный» подчеркивает, что
все три множества, входящие в состав данной модели, конечны. В
том виде, в каком эта модель здесь представлена, она носит название «автомат Мили». Другой разновидностью данной модели является автомат Мура, отличающийся от автомата Мили только тем, что функция выходов не зависит от входного символа, т. е. представляет собой отображение Φ : Q → В.
Слайд 13Значением функции Ψ(a, q) является состояние q+, в которое переходит автомат
из состояния q, если на вход его подан символ а.
Значением функции Φ(a, q) является выходной символ, выдаваемый автоматом в состоянии q при поступлении на его вход символа а, а значением функции Φ(q) автомата Мура – выходной символ b, который выдает автомат, находясь в состоянии q. Если значения функций Ψ(a, q) и Φ(a, q) определены для любой пары значений аргументов а и q, а в модели Мура функция Φ(q) определена для всех значений q, то автомат является полностью определенным, или полным автоматом. Иногда приходится иметь дело с не полностью определенным, или частичным автоматом, у которого эти функции могут быть определены не везде.
Слайд 14Конечный автомат является абстрактной математической моделью дискретного устройства. Поведение, описанное
данной моделью, может быть по-разному реализовано в дискретном устройстве. При
синхронной реализации моменты времени, когда определяется состояние, в которое переходит устройство, а в случае автомата Мили и выходной символ, зафиксированы. Технически это осуществляется введением генератора синхронизирующих сигналов, которые инициируют соответствующие действия. Период следования таких сигналов не должен быть меньше чем время, необходимое для завершения переходных процессов в устройстве. Реализованный таким образом конечный автомат называется синхронным автоматом.
Слайд 15При асинхронной реализации указанные моменты времени не фиксированы. Они связаны
с моментами, в которые происходит изменение входного сигнала. Реализованный таким
образом автомат называется асинхронным автоматом. Если синхронный автомат различает последовательности разной длины из одинаковых входных символов, т. е. может реагировать на них различными выходными последовательностями, то асинхронный автомат воспринимает последовательность одинаковых входных символов любой длины как один символ. В схеме такого устройства генератор синхронизирующих сигналов отсутствует.
Слайд 16 В асинхронном автомате переход из состояния в состояние происходит
за некоторый конечный промежуток времени, в течение которого не должен
меняться входной сигнал. При действии любого входного сигнала автомат приходит в некоторое устойчивое состояние, из которого он не выходит до конца действия данного сигнала
Слайд 17 При этом должно выполняться требование прямого перехода, которое
формально выражается следующим образом: если Ψ(a, qi) = qj, то Ψ(a, qj) = qj. Иногда допускается
выполнение следующей цепочки переходов:Ψ(a, qi) = qr, Ψ(a, qr) = qs, … , Ψ(a, qt) = qj, Ψ(a, qj) = qj.
