Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

№17, Москва, 2008
Авторы: Часовских А.А.
Об А-выразимости в классе линейно-автоматных функций
Аннотация:
Для класса линейно-автоматных функций (л.-а. функций) решена задача аппроксимационной выразимости (А-выразимости) через множества, содержащие существенную функцию, а также все константы в своем замыкании. Получен алгоритм проверки А-выразимости всех констант через конечные множества л.-а. функций, содержащие существенную функцию. Для невырожденных множеств л.-а. функций с сумматором найден критерий равносильности операторов замыкания и А-замыкания.
Ключевые слова:
конечный автомат, линейно-автоматная функция, замыкание, А-замыкание, выразимость, А-выразимость, полная система, сумматор, задержка
Язык публикации: русский, страниц: 32 (с. 105-136)
Направление исследований:
Математические вопросы и теория численных методов
Полный текст: Сведения об авторах:
  • Часовских Анатолий Александрович,  ,  Московский государственный университет имени М.В. Ломоносова, Механико-математический факультет, кафедра Математической теории интеллектуальных систем.