Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
aa:lab:04 [2020/10/24 06:03] claudiu.dorobantu |
aa:lab:04 [2020/11/11 02:06] (current) claudiu.dorobantu |
||
|---|---|---|---|
| Line 21: | Line 21: | ||
| ==== 2. Properties of Turing reductions ==== | ==== 2. Properties of Turing reductions ==== | ||
| - | **2.1** Answer the following questions and justify your answers: | + | **2.1** Is $\leq_T$ an equivalence relation over $math[RE]? |
| - | * Is $\leq_T$ an equivalence relation over $math[RE]? | + | |
| * $\leq_T$ is reflexive? | * $\leq_T$ is reflexive? | ||
| * $\leq_T$ is transitive? | * $\leq_T$ is transitive? | ||