Дипломная работа

от 20 дней
от 9999 рублей

Заказать

Курсовая работа

от 10 дней
от 1999 рублей

Заказать

Реферат

от 3 дней
от 699 рублей

Заказать

Контрольная работа

от 3 дней
от 99 рублей
за задачу

Заказать

Диссертация

Сроки и стоимость индивидуальные

Заказать

Главная - Программирование - 26 вопросов к экзамену по теории вычислительных процессов, СЗТУ. Семантическая теория программ. Основные направления исследований теоретического программир

26 вопросов к экзамену по теории вычислительных процессов, СЗТУ. Семантическая теория программ. Основные направления исследований теоретического программир Программирование. Шпаргалка

  • Тема: 26 вопросов к экзамену по теории вычислительных процессов, СЗТУ. Семантическая теория программ. Основные направления исследований теоретического программир
  • Автор: Алекс
  • Тип работы: Шпаргалка
  • Предмет: Программирование
  • Страниц: 37
  • Год сдачи: 2011
  • ВУЗ, город: СЗТУ
  • Цена(руб.): 1100 рублей

Заказать персональную работу

Выдержка

Существует несколько причин, по которым следует заниматься описанием семантики программ, или смысла выражений, операторов и программных единиц. Руководство по использованию языка программирования должно включать описание каждой конструкции языка, как по отдельности, так и в совокупности с другими конструкциями. В языке имеется множество различных конструкций, точное определение которых необходимо как программисту, использующему язык, так и разработчику реализации этого языка. Программисту эти сведения нужны для того, чтобы писать правильные программы и заранее знать результат выполнения любых операторов программы. Разработчику компилятора корректные определения конструкций необходимы для создания правильной реализации языка. В большинстве руководств определение семантики дается в виде обычного текста. Как правило, сначала при помощи какой-либо формальной грамматики дается определение синтаксиса конструкции, а затем для пояснения семантики приводятся несколько примеров и небольшой пояснительный текст. К сожалению, смысл этого текста часто неоднозначен, так что разные читатели могут понимать его по-разному. Программист может получить ошибочное представление о том, что именно будет делать написанная им программа при выполнении, а разработчик может реализовать какую-либо языковую конструкцию иначе, чем разработчики других реализаций того же языка. Как и для синтаксиса, нужен какой-то метод, позволяющий дать удобочитаемое, точное и лаконичное определение семантики языка. Задача определения семантики языка программирования рассматривается теоретиками давно, но до сих пор не найдено удовлетворительного универсального решения. Было разработано множество различных методов формального определения семантики.

Содержание

ВОПРОСЫ К ЭКЗАМЕНУ по теории вычислительных процессов, СЗТУ
1. Семантическая теория программ
2. Основные направления исследований теоретического программирования
3. Понятие схемы программ
4. Схемы программ
5. Стандартные схемы программ
6. Графовая, линейная формы схемы программ
7. Интерпретация стандартных схем
8. Протокол выполнения программы
9. Главные свойства стандартных схем
10. Рекурсивные схемы
11. Трансляция схем программ
12. Линейные унарные рекурсивные схемы
13. Схемы с процедурами
14. Сети Петри. Основные определения
15. Граф сети Петри, маркировка, выполнение сети, множество достижимости
16. Сети Петри для моделирования
17. Особенности сетей Петри
18. Анализ сетей Петри
19. Задачи анализа сетей Петри: безопасность, ограниченность, сохранение
20. Задачи анализа сетей Петри: активность, достижимость и покрываемость
21. Принципы построения: неформальное и формальное определение сетей Петри
22. Способы представления сетей Петри и описание их подклассов
23. Алгоритмы поведения: дерево достижимости и анализ структурной ограниченности, сохраняемости, повторяемости сетей Петри
24. Избыточные сети Петри и инварианты сетей Петри
25. Способы реализации и области применения: моделирование систем на основе сетей Петри и расширения сетей Петри
26. Принципы и способы технической реализации моделей процессов и структур

Литература

-

Форма заказа

Заполните, пожалуйста, форму заказа, чтобы менеджер смог оценить вашу работу и сообщил вам цену и сроки. Все ваши контактные данные будут использованы только для связи с вами, и не будут переданы третьим лицам.

Тип работы *
Предмет *
Название *
Дата Сдачи *
Количество Листов*
уточните задание
Ваши Пожелания
Загрузить Файлы

загрузить еще одно дополнение
Страна
Город
Ваше имя *
Эл. Почта *
Телефон *
  

курсовые, дипломные, контрольные на заказ скидки на курсовые, дипломные, контрольные на заказ

© 2010-2016, Все права защищены. Принимаем заказы по всей России.