Если для заданного ЛА существует такое натуральное число , что знания начального отрезка длины слова w достаточно для однозначного определения первого символа слова независимо от входной последовательности и начального состояния ЛА, то называют ЛА

вопрос

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

Оставить комментарий

Отправить

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