III. Теория алгоритмов и формальных грамматик.

Понятие алгоритма. Типы алгоритмов – математический, вычислительный как инструкция, универсальный. Блок-схема и операторная схема алгоритмов.

Нормальный алгоритм А.А. Маркова – система подстановок для преобразования слов. Правила композиции, присоединяющие, разветвляющие и удваивающие алгоритмы.

Синтаксис и семантика формальных языков. Нормальная нотация Бекуса. Порождающая и распознающая грамматики. Классификация языков по Хомскому.

Языки программирования как примеры формальных языков. Классификация языков программирования. Технология программирования. Программирование в среде программ Microsoft, ориентированных на операционную систему Windows.