Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Структурированные системы переходов
Глава 1. Вполне структурированные системы помеченных переходов
Поставить закладку
1.1.Предварительные сведения
1.1.1. Мультимножества
Если Вы наш подписчик,то для того чтобы скопировать текст этой страницы в свой конспект,
используйте
просмотр в виде pdf
. Вам доступно 11 стр. из этой главы.
Для продолжения работы требуется
Регистрация
Предыдущая страница
Следующая страница
Оглавление
Предисловие
Введение
Глава 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. Темпоральные свойства систем переходов
+
Заключение
Список литературы
Предметный указатель
Список обозначений
Данный блок поддерживает скрол*