Глава 8. Формализация представления алгоритмов 120

8.1. Формальные языки 120

8.1.1. Формальная грамматика 120

8.1.2. Способы описания формальных языков 122

8.2. Способы представления алгоритмов 124

8.2.1. Исполнитель алгоритма 125

8.2.2. Строчная словесная запись алгоритма 126

8.2.3. Графическая форма записи 129

8.2.4. Классификация способов представления алгоритмов 131

8.3. Структурная теорема 131

Глава 9. Представление о конечном автомате 134

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

9.2. Дискретные устройства без памяти 136

9.3. Конечные автоматы 139

9.3.1. Способы задания конечного автомата 139

9.3.2. Схемы из логических элементов и задержек 141

9.3.3. Эквивалентные автоматы 144

Глава 10. Модели и системы 147

10.1. Понятие модели 147

10.1.1. Общая идея моделирования 147

10.1.2. Классификация моделей 149

10.1.3. Понятие математической модели 153

10.2. Понятие системы 155

10.2.1. Определение объекта 155

10.2.2. Определение системы 156

10.2.3. Формальная система 160

10.2.4. Значение формализации 162

10.3. Этапы решения задачи посредством компьютера 163

10.4. Об объектном подходе в прикладной информатике 165

Заключение 169

Приложение А. Элементы теории вероятностей 169

А.1. Понятие вероятности 169

А.2. Сложение и умножение вероятностей 171

A.3. Условная вероятность 174

Приложение Б. Некоторые соотношения логики 177

Глоссарий 178

Список литературы 181

184