Заметим, что если у ЛА, для которого ищется оптимальный подавтомат, ОБПИ таков, что , то этот подавтомат является

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

• # Линейный автомат называется автоматом БПИ, если
• # Под -множеством автомата понимается любая конечная совокупность состояний , не все из которых обязательно различны. Если все элементы -множества совпадают друг с другом, то оно именуется
• # Для того чтобы БА был БА БПИ, необходимо и достаточно, чтобы для любого состояния был равен
• # Пусть автомат не является ОБПИК-автоматом,, , тогда
• # Вершину графа , у которой называется