|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
О разрешимости выводимости замкнутых термов и выразимости операций над нимистатья
- Автор: Боков Г.В.
- Журнал: Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
- Том: 18
- Номер: 3
- Год издания: 2014
- Издательство: [б.и.]
- Местоположение издательства: М.
- Первая страница: 111
- Последняя страница: 131
- Аннотация: В работе исследуются алгебры замкнутых термов, операции которых задаются формулами первого порядка с единственным предикатом равенства. Для таких алгебр показано, что в общем случае проблема выводимости термов алгоритмически неразрешима. При рассмотрении частных случаев проблемы выводимости строится соответствие Галуа между операциями и конечными автоматами над термами. На его основе доказаны достаточные условия алгоритмической разрешимости частных случаев проблемы выводимости термов и проблемы выразимости операций над термами.
- Добавил в систему: Боков Григорий Владимирович