|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Оценка критериальной длины кода для свойства линейности реализуемости переходных систем.доклад на конференции
- Автор: Родин С.Б.
- Локальная Конференция : Ломоносовские чтения 2020. Секция математики
- Даты проведения конференции: 21-28 октября 2020
- Дата доклада: 28 октября 2020
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: МГУ имени М.В. Ломоносова, Russia
-
Аннотация доклада:
В определении линейной реализуемости автомата, введеной в работе "О свойствах кодирований состояний автомата.", нет ограничения на длину кода, что делает перебор кодирований для установления линейной реализуемости потенциально бесконечным. В той же работе удалось показать, что возможно ограничится кодами длины 2^n. В докладе приведен результат, усиливающмй данную оценку.
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Родин Сергей Борисович