Questions tagged [computability]

Computability theory a.k.a. recursion theory.

52 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
0
votes
0answers
135 views

Oracle that will provide any computable information about another oracle

Suppose I have an oracle X. Then let Y be an oracle which will answer any computable question about X. In other words, Y takes as input a Turing program which can in turn make calls to X. Y then ...
0
votes
0answers
877 views

Understanding the HRU Model (Protection in Operating Systems)

As of now I am feeling terrible because I have spent the past 10 hours trying to understand this paper titled "Protection in Operating Systems" by Harrison, Ruzzo and Ullman. At this point, any help ...

1
2