Том 8, серия 1, номер 4, 2001 г., Стр. 68-75
УДК 519.71
С. С. Марченков
Позитивные ВЕ-представления словарных предикатов
Аннотация:
Установлено, что классы арифметических словарных предикатов и рудиментарных
предикатов можно определить через предикаты "$x$ есть начало $y$" и "$x$ есть конец $y$" с использованием только позитивных логических операций дизъюнкции и конъюнкции.
Библиогр. 5.
Марченков С. С. 1
1. Московский государственный университет им. М. В. Ломоносова,
Воробьевы горы, 2-й учеб. корпус, 119899 Москва, Россия
е-mail: mathcyb@cs.msu.su
Статья поступила 3 сентября 2001 г.
|