Содержание
- 2. F-схема моделирования Области применения: Моделирование динамических объектов с выделенными состояниями. Моделирование систем управления динамическими объектами Характерные
- 3. Два вида F-схем В этом случае необходимо дополнительно создавать модель управляемого объекта. Система управления Объект управления
- 4. F-схема моделирования X - алфавит входных сигналов, Y – алфавит выходных сигналов Q – множеств состояний,
- 5. F-схема моделирования X - алфавит входных сигналов, Q – множеств состояний, q0 – начальное состояние, P
- 6. Диаграмма состояний работы банкомата
- 7. Абстрактный и структурный автомат Абстрактный автомат Структурный автомат Особенности: Не имеет внутренней структуры; Обрабатывает символы Особенности:
- 8. Абстрактный автомат Особенности: Не структурирован В основном реализуется программно Принимает на вход символы Области применения: Компиляция
- 9. Абстрактный автомат
- 10. Виды абстрактных автоматов Автомат с конечным числом состояний (КА) – автомат с бесконечным числом состояний Автомат-транслятор
- 11. Конечный распознающий автомат A={Σ, Q, q0, P, F}, где F – множество конечных состояний Pi∈Qx ΣxQ
- 12. Пример диаграммы состояний конечного автомата Конечное состояние Начальное состояние
- 13. Конечный автомат-транслятор A={Σ, Ω, Q, q0, P, F}, где Ω – мн-во символов на выходной ленте
- 14. Конечный автомат с магазинной памятью (МП-автомат) A={Σ, B, b, Q, q0, P, F}, где B –
- 15. Пример диаграммы состояний МП-автомата Скобочное арифметическое выражение с числом 1 и операцией + Примеры арифметических выражений:
- 16. Формальная грамматика Основатель теории формальных языков – Наум Хомский (род. В 1928 г.) Формальная грамматика предназначена
- 17. Пример формальной грамматики (1) Необходимо описать синтез строки, состоящей из одинакового количества единиц и нулей, чтобы
- 18. Пример формальной грамматики S→сN1 N1→тN2 N2→еN3 N2→сN14 N3→нN4 N14→еN15 N15→лN4 N4→аN5 N4→ыN6 N4→еN7 N4→уN8 N4→оN9 N5→мN11
- 19. Другие виды записи формальных грамматик - Форма Бекуса-Наура (БНФ) - Расширенная форма Бекуса-Наура (РБНФ) - Регулярные
- 20. Иерархия формальных языков Н. Хомского Четыре класса языков: 0: Свободные - нет ограничений на правила. 1:
- 21. Типы вычислителей, необходимых для распознания языка, принадлежащего уровню иерархии Н. Хомского 0: Свободные – машина Тьюринга
- 22. Детерминированный и недетерминированный автоматы Детерминированный автомат пребывает только в одном состоянии в один момент времени Недетерминированный
- 23. Алгоритм получения ДА из НДА 1. Сформировать начальное состояние ДА и приписать ему метки начального(-ых) состояние(-ия)
- 24. Алгоритм получения ДА из НДА 1. Сформировать начальное состояние ДА и приписать ему метки начального(-ых) состояние(-ия)
- 25. Пример получения ДА из НДА
- 26. Программная реализация ДА Объявить переменную, хранящую номер состояния ДА (например, S). Объявить переменную, хранящую текущий распознаваемый
- 27. Пример программной реализации ДА int S; char ch; // @ - символ конца текста While(1) {S=0;
- 28. Пример реализации ДА с помощью матрицы смежности В ячейке матрицы указывается символ, по которому происходит переход
- 29. Пример реализации ДА с помощью матрицы переходов В ячейке матрицы указывается символ, по которому происходит переход
- 30. Реализация НДА Реализация НДА намного сложнее, чем ДА: необходимо вводить не одну переменную, хранящую состояние автомата
- 31. Виды абстрактных автоматов Распознающий автомат (лента движется в одну сторону, символы на ленте не изменяются Автомат-транслятор
- 32. Виды абстрактных автоматов 1) 2) 3) 4) 5)
- 33. Об информации на входной ленте абстрактного автомата Входная лента автомат может содержать не только символы, но
- 34. Структурный автомат Особенности: Структурирован Принимает на вход сигналы Выходами являются сигналы Рассматривается как устройство управления Области
- 35. Имитационная модель на основе F-схемы X – входные переменные автомата Z – управляющие импульсы от автомата
- 36. Автомат Мили и автомат Мура Автомат Мура Q(t)=f(q(t-1), x(t-1)) Y(t)=f(q(t)) Автомат Мили Q(t)=f(q(t-1),x(t-1)) Y(t)=f(q(t),x(t))
- 37. Автоматизированный объект управления Управляющий автомат – это шестерка {X,Y,Z, y0,ϕ,δ}, где X=XE x XO – сигналы
- 38. Автоматизированный объект управления Объект управления– это тройка {V, fq,fc}, где V - потенциально бесконечное множество вычислительных
- 39. Парадигмы автоматного (А) управления объектами (О)
- 40. Иерархическая система автоматов
- 41. Вложенный и вызываемый автоматы Вызываемому автомату передается управление, затем вызываемый авмомат возвращает управление вызываемому автомату Обращение
- 42. Формализация вызываемого автомата Вызываемый автомат - это. CA={Σ, QC, h, s, PC}, где Σ — множество
- 43. Формализация вложенного автомата Вложенный автомат – это AI={Σ, QI, QH, S, PI}, где Σ,- алфавит входных
- 44. Синхронизация системы параллельно работающих автоматов 1. Обмен состояниями 2. Синхронизация по внешним событиям
- 45. Пример синхронизации параллельных автоматов путем обмена состояниями Насос 1 ПУСК РАБОТА ГОТОВ
- 46. Пример синхронизации параллельных автоматов путем обмена состояниями Насос 1 ПУСК_1 ПУСК_2 Насос 2 РАБОТА_2 СТОП_2 ГОТОВ_1
- 47. Пример синхронизации параллельных автоматов путем обмена состояниями
- 48. Виды автоматной декомпозиции Параллельной работающие автоматы Параллельной работающие деревья автоматов
- 49. Декомпозиция системы автоматов По объектам управления – уместна, когда для каждого ОУ можно выработать свой алгоритм
- 50. Схема связей автомата управления клапаном
- 51. Схема связей автомата «Часы с будильником»
- 52. Типичные обозначения в графе состояний структурного автомата К дуге приписывается булево выражение, обозначающее условие перехода в
- 53. Пример обозначений
- 54. Программная реализация вложенного и вызываемого автоматов Ввод новых переменных, обозначающих состояние вложенного или вызываемого автоматов. Процедуры
- 55. Автоматы с непрерывным пространством состояний Дифференциальный автомат
- 57. Скачать презентацию