|
Ученые записки Ереванского государственного университета, серия Физические и Математические науки, 2011, выпуск 2, страницы 50–54
(Mi uzeru182)
|
|
|
|
Informatics
Decidability of $\Delta$-equivalence problem for monadic logic programs
[Разрешимость проблемы $\Delta$-эквивалентности монадических логических программ]
L. A. Haykazyan Chair of Programming and Information Technologies YSU, Armenia
Аннотация:
В работе изучается $\Delta$-эквивалентность монадических логических прорамм (логических программ, содержащих только монадические функциональные и предикатные символы). Программы называются $\Delta$-эквивалентными, если множества логически следующих из них запросов совпадают. Показано, что в отличие от общего случая $\Delta$-эквивалентность монадических программ разрешима. Наше доказательство использует разрешимость монадической логики Рабина для функций следования второго порядка.
Ключевые слова:
logic programming, $\Delta$-equivalence.
Поступила в редакцию: 17.09.2010 Принята в печать: 20.10.2010
Образец цитирования:
L. A. Haykazyan, “Decidability of $\Delta$-equivalence problem for monadic logic programs”, Уч. записки ЕГУ, сер. Физика и Математика, 2011, no. 2, 50–54
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/uzeru182 https://www.mathnet.ru/rus/uzeru/y2011/i2/p50
|
|