Для того чтобы задача распознавания функции выходов неинициального автомата (с точностью до эквивалентности) была разрешима, необходимо и достаточно, чтобы автомат был

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

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