Ebook: Теория вычислительных процессов

Учебное пособие. — Махачкала. 2006.В пособии излагаются основные понятия теории вычислительных процессов и структур. Даны понятия формальных грамматик и основы теории конечных цифровых автоматов, приведены математические модели для описания взаимодействующих процессов на основе сетей Петри и нотаций Хоара, рассматриваются методы и средства синхронизации и связи взаимодействующих процессов, излагаются проблемы и формальные модели для изучения тупиковых ситуаций, возникающие при проектировании взаимодействующих процессов, приводятся методы их устранения, изложены основы теории схем программ.Основные понятия и проблемы организации вычислительных процессов.
Автоматно-лингвистические модели.
Автоматные модели.
Сети Петри.
Взаимодействующие последовательные и параллельные процессы.
Синхронизация взаимодействующих вычислительных процессов.
Проблемы тупиков и методы борьбы с ними.
Схемы программ.