Виталий Сигорский: Математический аппарат инженера

Дальнейшие упрощения относятся не к числу состояний, а к структуре множеств, образующих минимальное покрытие S. Если из отобранных классов толерантности можно исключить некоторые состояния так, что полученные подмножества удовлетворяют приведенным выше требованиям, то эти подмножества также определяют другой вариант минимальной формы автомата. Так, из S' 0или из S' 2можно исключить состояние 4, поскольку оно входит только в множество последующих состояний {4, 5}. Тогда получим еще два варианта минимальных покрытий: {0, 1, 5}, {2, 3, 4, 5} и {0, 1, 4, 5}, {2, 3, 5}. Но состояние 5 нельзя исключить ни из одного класса, хотя оно и содержится в каждом из них, так как множества последующих состояний {1, 5} и {3, 5} показывают, что состояние 5 должно содержаться как в S' 0, так и в S' 2.

- !!!!!!!!!!!!!!!!!!!!! -

- Продолжение следует... -

...

7. Многозначная логика

8. Логика высказываний

9. Логика предикатов

10. Алгоритмы

Список литературы

Глава 6. Вероятности

1. Случайные события

2. Случайные величины

3. Преобразования случайных величин

4. Обработка наблюдений

5. Процессы массового обслуживания

6. Надежность и восстановление

7. Информация и связь

Список литературы

Предметный указатель