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