Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Структурированные системы переходов
Глава 1. Вполне структурированные системы помеченных переходов
Предыдущая страница
Следующая страница
Оглавление
Предисловие
Введение
Глава 1. Вполне структурированные системы помеченных переходов
-
1.1.Предварительные сведения
1.1.1. Мультимножества
1.1.2. Квази упорядоченные множества
1.1.3. Правильный квазипорядок
1.2. Системы помеченных переходов
1.2.1. Опред еление
1.2.2. Вполне структурированные системы помеченных переходов
1.2.3. Метод насыщения
1.2.4. Покрывающее дерево системы переходов
1.2.5. Строгая совместимость
1.2.6. Совместимость по убыванию
1.2.7. Системы переходов автоматного типа
1.3.Примеры вполне структурированных систем помеченных переходов
1.3.1. Сети Петри
1.3.2. Системы с ненад ежными каналами
1.3.3. Системы переходов, независимых от данных
Глава 2. Счетчиковые машины
+
Глава 3. Темпоральные свойства систем переходов
+
Заключение
Список литературы
Предметный указатель
Список обозначений
Данный блок поддерживает скрол*