Аннотация:
В статье изложены доказательства свойств полурекурсивных множеств, основанные непосредственно на определении этих множеств и на рекурсивности предикатов Клини. Эти доказательства являются более короткими и интуитивно ясными, чем традиционные доказательства аналогичных утверждений для рекурсивно перечислимых множеств.
Полный текст:
PDF файл (125 kB)