Помощь студентам, абитуриентам и школьникам

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

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

Рекомендуем посмотреть похожие работы:

  1. Профотбор как объект исследования в психологии (Курсовая работа, 2008)

    Объект исследования: Процесс профессионального отбора.Предмет исследования: Психологические условия эффективногопрофессионального отбора.Цель исследования: Определить психологические условия эффективного профессионльного отбора. Гипотеза: Важнейшим ...

  2. Факторный анализ прибыли (Курсовая работа, 2010)

    ... работы.Объектом исследования выступает предприятие общественного питания ресторан «Булгар». Предметом исследования является анализ прибыли ресторана.Вопросы содержания категории «прибыль» нашли отражение ...

  3. Разработка мероприятий по совершенствованию системы управления персоналом ООО ПетроСтройПрофиль (Дипломная работа, 2007)

    ... деятельности[11; с. с. 156]. Объектом изучения в этой науке являются люди, группы, организация. Предметом изучения ... запустить в действие программу внедрения эффективной системы управления персоналом, отвечающей задачам динамично развивающейся компании. ...

  4. Социально педогагическая деятельность по обеспечению безопасности детей и подростков в городской среде (Курсовая работа, 2009)

    ... исследования: Социально-педагогическая деятельность по обеспечению безопасности детей и подростков в городской среде. Цель исследования изучить особенности социально-педагогической деятельности по ...

  5. Влияние сверстников на процесс социализации подростков (Дипломная работа, 2011)

    ... социального неудачника». На процесс социализации влияют как физиологические, так и психологические изменения ребенка в процессе его взросления. Социализации ребенка ... для приобретения социальных навыков играет влияние группы ровесников, которое ...

  6. Современные направления политических исследований". (Реферат, 2008)

    ... ) и неодушевленные элементы (политическую власть, политические отношения, политическое сознание, политическую культуру, политические организации). Субъекты политики: индивиды, социальные слои и группы, организации, участвующие в процессе ...

  7. Ответы на вопросы (30 вопросов) для зачета. (Шпаргалка, 2008)

    ... контрольный орган муниципального образования, иные коллегиальные или единоличные органы местного самоуправления, предусмотренные уставом муниципального образования. Органы местного самоуправления, входящие в структуру органов местного самоуправления ...


ВУЗ, город:

СЗТУ

Предмет: Программирование

Шпаргалка по теме:

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

Страниц: 37

Автор: Алекс

2011 год

4 90
RUR 2100

Промокод на получение скидки 10%,

укажите при заказе уникальной работы

* Акция действует до 27 июня 2017

6810-rob88

Содержание

ВОПРОСЫ К ЭКЗАМЕНУ по теории вычислительных процессов, СЗТУ

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. Принципы и способы технической реализации моделей процессов и структур

Выдержка

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

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

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

Как и для синтаксиса, нужен какой-то метод, позволяющий дать удобочитаемое, точное и лаконичное определение семантики языка..

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

5 56
RUR 2100

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

Информатика
Информатика
2013

ISBN 5804601342,9785804601349

Компьютерная графика
Компьютерная графика
2013

ISBN 5941571399,9785941571390

Системный анализ
Системный анализ
2013

ISBN 5865872990,9785865872993

Теплотехника
Теплотехника
2013

ISBN 5699254811,9785699254811

Логистика
Логистика
2013

ISBN 5911317559,9785911317553

Основы проектирования цифровых схем
Основы проектирования цифровых схем
Издательский дом Вильямс , 2013

ISBN 5845906857,9785845906854







Карта : А Б В Г Д Е Ё Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Наверх