Укажите верное утверждение:
(Отметьте один правильный вариант ответа.)
Варианты ответа
автомат является ОБПИ-автоматом тогда и только тогда, когда все пути в проверочном графе 
, ведущие из вершин вида 
, не содержат выделенных дуг
, ведущие из вершин вида , не содержат выделенных дуг
автомат является ОБПИ-автоматом тогда и только тогда, когда все пути в проверочном графе , ведущие в вершины вида , не содержат выделенных дуг(Верный ответ)
, ведущие в вершины вида , не содержат выделенных дуг(Верный ответ)
автомат является ОБПИ-автоматом тогда и только тогда, когда все пути в проверочном графе , ведущие в вершины вида , содержат хотя бы одну выделенную дугу
, ведущие в вершины вида , содержат хотя бы одну выделенную дугу
