Пусть - множество всех тех вершин графа , из которых исходит хотя бы одна дуга. Тогда

Правильный ответ:

покрытие графа существует тогда и только тогда, когда любая вершина множества достижима из начальной

покрытие графа существует тогда и только тогда, когда любая вершина множества не достижима из начальной

покрытие графа существует тогда и только тогда, когда только начальная вершина множества достижима из начальной

• # Для того чтобы ЛА был БПИ и неизбыточным по выходам, необходимо и достаточно, чтобы
• # Запись вида , где , интерпретируется как множество и называется
• # Cостояние БА достижимо из состояния , если
• # Автомат называется оптимальным, если
• # Длиной графа является