Recursively enumerable set
Автор:
Jesse Russell,Ronald Cohn, издатель:
"VSD", ISBN:
978-5-5111-1155-1
High Quality Content by WIKIPEDIA articles! In computability theory, traditionally called recursion theory, a set S of natural numbers is called recursively enumerable, computably enumerable, semidecidable, provable or Turing-recognizable if: