Глава 8. Современные операционные системы 301

Семейство операционных систем UNIX 301

Общая характеристика семейства операционных систем UNIX,

особенности архитектуры семейства ОС UNIX 301

Основные понятия системы UNIX 303

Функционирование системы UNIX 308

Файловая система 311

Межпроцессные коммуникации в UNIX 316

Операционная система Linux 323

Семейство операционных систем OS/2 Warp компании IBM . 325

Особенности архитектуры и основные возможности OS/2 Warp 328

Особенности интерфейса OS/2 Warp 331

Серверная операционная система OS/2 Warp 4.5 332

Сетевая ОС реального времени QNX 334

Архитектура системы QNX 335

Основные механизмы QNX для организации

распределенных вычислений 339

Контрольные вопросы и задачи . 344

Вопросы для проверки 344

Часть II. Трансляторы, формальные языки и грамматики

Глава 9. Формальные языки и грамматики 347

Языки и цепочки символов. Способы задания языков 347

Цепочки символов. Операции над цепочками символов 347

Понятие языка. Формальное определение языка 348

Способы задания языков 349

Синтаксис и семантика языка 350

Особенности языков программирования 351

Определение грамматики. Форма Бэкуса—Наура 353

Понятие о грамматике языка 353

Формальное определение грамматики. Форма Бэкуса—Наура 354

Принцип рекурсии в правилах грамматики 356

Другие способы задания грамматик 357

Классификация языков и грамматик 360

Классификация грамматик. Четыре типа грамматик по Хомскому 361

Классификация языков 363

Примеры классификации языков и грамматик 365

Цепочки вывода. Сентенциальная форма . 367

Вывод. Цепочки вывода 367

Сентенциальная форма грамматики. Язык, заданный грамматикой 369

Левосторонний и правосторонний выводы. 370

Дерево вывода. Методы построения дерева вывода 370

Проблемы однозначности и эквивалентности грамматик 372

Однозначные и неоднозначные грамматики 372

Эквивалентность и преобразование грамматик 373

Правила, задающие неоднозначность в грамматиках 376

Распознаватели. Задача разбора 376

Общая схема распознавателя 376

Виды распознавателей 378

Классификация распознавателей по типам языков 380

Задача разбора (постановка задачи) 382

Контрольные вопросы и задачи 383

Вопросы 383

Задачи . 384

Глава 10. Регулярные языки 387

Регулярные языки и грамматики 387

Леволинейные и праволинейные грамматики. Автоматные грамматики . . . 387 Алгоритм преобразования регулярной грамматики к автоматному виду. . . 388 Пример преобразования регулярной грамматики к автоматному виду . . . 390

Конечные автоматы 391

Определение конечного автомата . . . 391

Детерминированные и недетерминированные конечные автоматы 392

Преобразование конечного автомата к детерминированному виду 393

Минимизация конечных автоматов 395

Регулярные множества и регулярные выражения 397

Определение регулярного множества • . 397

Регулярные выражения. Свойства регулярных выражений 398

Уравнения с регулярными коэффициентами 399

Способы задания регулярных языков 403

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

Связь регулярных выражений и регулярных грамматик 404

Связь регулярных выражений и конечных автоматов 407

Связь регулярных грамматик и конечных автоматов 408

Пример построения конечного автомата на основе

заданной грамматики 410

Свойства регулярных языков 413

Свойства регулярных языков 413

Лемма о разрастании для регулярных языков 414

Контрольные вопросы и задачи 415

Вопросы . 415

Задачи 416