
- •1.Эффективность вычислений. Основные понятия и определения.
- •2. Алгоритм. Основные понятия и определения.
- •3. Семантическая теория программ.
- •4. Схемы программ.
- •5. Способы задания алгоритмов.
- •6. Универсальные модели алгоритмов.
- •7. Понятийные средства спецификации программ.
- •8. Основные требования к спецификации программ.
- •9. Спецификации в жизненном цикле программ.
- •10. Методы спецификации программ.
- •1. Табличные средства.
- •2. Равенства и подстановки.
- •3. Логические средства и аксиоматические описания.
- •4. Графовые средства: графы, сети, диаграммы.
- •5. Конечно-автоматные диаграммы.
- •6 Синтаксические диаграммы.
- •7. Сети Петри.
- •11. Графические методы спецификации.
- •12.Автоматное преобразование информации
- •13. Основные понятия и определения теории конечных автоматов
- •14.Способы задания конечных автоматов.
- •15. Конечный автомат как модель «реагирующей системы».
- •16. Конечный автомат как модель протокола передачи сообщений в сетях.
- •17. Конечный автомат как модель взаимодействия процессов.
- •18. Автоматы Мура и Милли.
- •19. Примеры конечных автоматов.
- •20. Программная и аппаратная реализация конечных автоматов.
- •21. Сети Петри: принципы построения.
- •22. Теория комплектов.
- •Структура сети Петри.
- •24. Графы сети Петри.
- •25.Аналитическое и графическое представление сети Петри.
- •26. Маркировка сети Петри.
- •27.Выполнение сети Петри.
- •28. Пространство состояний сети Петри.
- •31. Сети Петри как аппарат для моделирования систем
- •32. Одновременность и конфликт сети Петри.
- •33. Моделирование аппаратного обеспечения сетями Петри
- •34.Моделирование программного обеспечения сетями Петри
- •35.Параллелизм в сетях Петри.
- •36,48 Моделирование дискретных процессов сетями Петри.
- •37. Безопасность сетей Петри
- •38.Ограниченность сети Петри
- •39.Тупики в сетях Петри.
- •40. Достижимость в сети Петри. См. Билет 29
- •41. Дерево достижимости в сетях
- •42. Анализ сетей Петри
- •47. Матричное представление сетей Петри.
- •50. Недостатки классических сетей Петри.
- •1.Эффективность вычислений. Основные понятия и определения. 1
20. Программная и аппаратная реализация конечных автоматов.
Программная:
Ниже приведена реализация конечного автомата, который прибавляет 1 к числу, поданному на вход в виде двоичной записи начиная с младшего разряда.
#include <stdio.h>
int c;
int
main()
{
goto s1;
s2: c = getchar();
switch(c)
{
case EOF:
exit(0);
default :
putchar(c);
goto s2;
}
s1: c = getchar();
switch (c)
{
case EOF:
exit(0);
case '1':
putchar('0');
goto s1;
case '0':
putchar('1');
goto s2;
}
}
Апааратная:
Триггер так же является простейшим автоматом. Рассмотрим два типа триггеров: RS-триггер и счетный триггер. Состояние этих автоматов является их выходом, то есть это автоматы Мура. В RS-григгере два входа: Reset и Set. Вход Reset сбрасывает, a Set устанавливает единичное состояние автомата. В счетном триггере единственный счетный вход переключает автомат из нулевого состояния в единичное и обратно.
21. Сети Петри: принципы построения.
Назначение СП: Анализ, моделирование и представление причинно-следственных
связей в сложных системах параллельно действующих объ-
ектов.
Сети Петри были разработаны для моделирования дискретных систем, которые содержат взаимодействующие и параллельно работающие компоненты. Особенно эффективно сети Петри могут быть использованы при моделировании аппаратного и программного обеспечения ЭВМ, моделирования работы гибких производственных систем, а так же моделирования сложных биологических и социальных систем.
Впервые математический аппарат в виде сетей Петри предложил немецкий ученый Карл Адам Петри в своей докторской диссертации «Связь автоматов», которую он защитил в 1962 году. Работа Карла Адама Петри так и оставалась бы академическим исследованием, если бы на эту работу не обратила внимание группа исследователей, работавших под руководством Джорджа Девиса в Массачушесецком технологическом институте. Эта группа использовала математический аппарат, предложенный Петри и применила для работы над проектом MAC. Эта группа внедрила научные исследования, по математическому аппарату сети Петри было сделано много публикаций, которые с этим пор стали широко использоваться.
Группа под руководством Джорджа Девиса предложила ряд дополнений и усовершенствований математического аппарата, предложенного Петри, именно в такой форме сети Петри вошли в широкую научную практику.
Полная оценка и использование математического аппарата сетей Петри требует хорошей математической подготовки, что является основным требованием для современного программиста. Современный инженер-програмист должен обладать необходимой математической подготовкой и достаточной квалификацией, чтобы использовать сети Петри как в повседневной инженерной работе, так и в научных исследованиях.