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