Question

Finding a binary prefix code provided lengths

score 242 · Answer 1 · 2026-03-26 02:52:12

242

Views

Finding a binary prefix code provided lengths

Published on 26 Mar 2026 - 2:52

score 45 · Answer 2 · 2026-03-25 20:08:17

45

Views

sequence that adds its previous results

Published on 25 Mar 2026 - 20:08

score 137 · Answer 3 · 2019-01-05 11:30:09

137

Views

is SAT as set of satisfiable formulas in FOL recursive or recursive enumerable ?

Published on 05 Jan 2019 - 11:30

score 145 · Answer 4 · 2019-01-05 11:56:58

145

Views

Is the set {i | $\phi_i$ is total } recursively enumerable?

Published on 05 Jan 2019 - 11:56

score 90 · Answer 5 · 2019-01-05 22:55:42

90

Views

Prove that there is a $\Delta_1$-set $E$ which satisfies $S_0 \setminus S_1 \subset E \subset S_0$

Published on 05 Jan 2019 - 22:55

score 60 · Answer 6 · 2019-01-06 15:33:16

60

Views

Prove that image and preimage of $\Sigma_1$-sets under a function with a $\Sigma_1$-graph are $\Sigma_1$-sets

Published on 06 Jan 2019 - 15:33

score 64 · Answer 7 · 2019-01-07 13:29:14

64

Views

Is the set {i | Dom(Φi) = ∅} recursive, recursive enumerable or none of them?

Published on 07 Jan 2019 - 13:29

score 102 · Answer 8 · 2026-03-25 15:43:48

102

Views

Finding languages such that $L_{1} \subseteq L_{2} \subseteq L_{3}$ where $L_{1}, L_{3} \notin \mathbb{R}$, $L_{2} \in \mathbb{R}$

Published on 25 Mar 2026 - 15:43

score 74 · Answer 9 · 2026-03-25 17:20:06

74

Views

Finding languages such that $L_1\subset L_2\subset L_3$ where $L_1,L_3\notin$ RE and $L_2\in$ R

Published on 25 Mar 2026 - 17:20

score 67 · Answer 10 · 2026-03-25 15:52:35

67

Views

Finding languages such that L1⊆L2⊆L3 where L1,L3∉ RE and L2∈ R

Published on 25 Mar 2026 - 15:52

score 614 · Answer 11 · 2019-01-10 15:29:24

614

Views

Simple example of the minimization operator $\mu i$?

Published on 10 Jan 2019 - 15:29

score 233 · Answer 12 · 2026-03-25 15:52:37

233

Views

Try finding languages such that L1⊆L2⊆L3 where L1,L3∉ RE and L2∈ R

Published on 25 Mar 2026 - 15:52

score 308 · Answer 13 · 2026-03-25 19:58:59

308

Views

What is the Turing degree of Truth?

Published on 25 Mar 2026 - 19:58

score 227 · Answer 14 · 2026-03-25 15:42:17

227

Views

Is it possible to put a topology on Turing-recognizable languages to express density among all the languages?

Published on 25 Mar 2026 - 15:42

score 66 · Answer 15 · 2019-01-13 22:19:53

66

Views

Is this proof Ok? ( about computing languages with no loops)

Published on 13 Jan 2019 - 22:19

List Question

Finding a binary prefix code provided lengths

sequence that adds its previous results

is SAT as set of satisfiable formulas in FOL recursive or recursive enumerable ?

Is the set {i | $\phi_i$ is total } recursively enumerable?

Prove that there is a $\Delta_1$-set $E$ which satisfies $S_0 \setminus S_1 \subset E \subset S_0$

Prove that image and preimage of $\Sigma_1$-sets under a function with a $\Sigma_1$-graph are $\Sigma_1$-sets

Is the set {i | Dom(Φi) = ∅} recursive, recursive enumerable or none of them?

Finding languages such that $L_{1} \subseteq L_{2} \subseteq L_{3}$ where $L_{1}, L_{3} \notin \mathbb{R}$, $L_{2} \in \mathbb{R}$

Finding languages such that $L_1\subset L_2\subset L_3$ where $L_1,L_3\notin$ RE and $L_2\in$ R

Finding languages such that L1⊆L2⊆L3 where L1,L3∉ RE and L2∈ R

Simple example of the minimization operator $\mu i$?

Try finding languages such that L1⊆L2⊆L3 where L1,L3∉ RE and L2∈ R

What is the Turing degree of Truth?

Is it possible to put a topology on Turing-recognizable languages to express density among all the languages?

Is this proof Ok? ( about computing languages with no loops)

Trending Questions

Popular # Hahtags

Popular Questions