Теорема о структуризации. Метод дублирования процессов.

↑

▷ Содержание

⇐ ПредыдущаяСтр 3 из 4Следующая ⇒

Теорема о структуризации. Метод дублирования процессов.

Любая простая программа функционально эквивалентна структурированной программе, составленной из элементов базисного множества (следование, ветвление, цикл). С использований ф-ий и прединатов исходной программы, а так же присваиваний и текстов над дополнительным счетчиком.

Обращение неструктурированных процессов в структурированные

- дублирование процессов

- введение переменных состояния

- метод булевских признаков.

Метод дублирования процессов.

Языки программирования. Основные составляющие.

Алфавит

Синтаксис

Семантика

Алфавит – словарь системы. Множество символов, из которых должен состоять текст программы. Другие символы не допускаются (буквы, цифры, знаки препинания, специальные символы).

Синтаксис – грамматика – множество правил, которые задают множество правильных программ.

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

Языки программирования. Синтаксические диаграммы.

Диаграммы –

-ссылка на другую диаграмму

- символ

- несколько символов

Каждая синтаксическая диаграмма имеет один вход и один выход.

Путь указывается стрелками

Могут быть и циклы

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

Языка программирования. Структура Pascal – программы.

Программа

Заголовок программы

Тело программы

Конец программы и вывод результатов.

Познавательные статьи:



Техника прыжка в длину с разбега

Тактические действия в защите

История Олимпийских игр

История развития права интеллектуальной собственности