|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Устранение операторов прошлого в троичной логике линейного времени на конечных трассахстатья
- Авторы: Куцак Н.Ю., Подымов В.В.
- Сборник: Всероссийская научная конференция "Математические основы информатики и информационно-телекоммуникационных систем". Сборник Трудов
- Год издания: 2021
- Издательство: Тверской государственный университет
- Местоположение издательства: Тверь
- Первая страница: 181
- Последняя страница: 189
- Аннотация: В работе рассматривается троичный вариант языка логики линейного времени (LTL), основанный на логике сильной неопределенности Клини, и предлагается подход к устранению операторов прошлого из этого языка с сохранением выразительных возможностей. Этот подход основан на особых преобразованиях троичных формул в двоичные и обратно с использованием известных результатов об устранении операторов прошлого в LTL.
- Добавил в систему: Подымов Владислав Васильевич