Tag computability - This is page 162 - GeneraCodice

Why are the total functions not enumerable?

https://www.generacodice.com/en/articolo/1091523/why-are-the-total-functions-not-enumerable

enumeration - computability - semi-decidability

cs.stackexchange

Is there a “natural” undecidable language?

https://www.generacodice.com/en/articolo/1091335/is-there-a-natural-undecidable-language

computability - automata - formal-languages - undecidability

cs.stackexchange

What are the possible sets of word lengths in a regular language?

https://www.generacodice.com/en/articolo/1091307/what-are-the-possible-sets-of-word-lengths-in-a-regular-language

computability - finite-automata - formal-languages - regular-languages

cs.stackexchange

Equivalence of Kolmogorov-Complexity definitions

https://www.generacodice.com/en/articolo/1091267/equivalence-of-kolmogorov-complexity-definitions

computability - kolmogorov-complexity

cs.stackexchange

Is this finite graph problem decidable? What factors make a problem decidable?

https://www.generacodice.com/en/articolo/1091262/is-this-finite-graph-problem-decidable-what-factors-make-a-problem-decidable

graph-theory - computability - algorithms - undecidability

cs.stackexchange

Rice's theorem for non-semantic properties

https://www.generacodice.com/en/articolo/1091022/rice-s-theorem-for-non-semantic-properties

computability - undecidability

cs.stackexchange

What is the significance of context-sensitive (Type 1) languages?

https://www.generacodice.com/en/articolo/1090975/what-is-the-significance-of-context-sensitive-type-1-languages

computability - automata - formal-languages - applied-theory - formal-grammars

cs.stackexchange

Computability of a probability theory problem [closed]

https://www.generacodice.com/en/articolo/1070750/computability-of-a-probability-theory-problem-closed

math - computability - probability-theory

Security of Exclusive-OR (XOR) encryption

https://www.generacodice.com/en/articolo/972669/security-of-exclusive-or-xor-encryption

security - encryption - private-key - computability

Is PI a turing computable number? [closed]

https://www.generacodice.com/en/articolo/794985/is-pi-a-turing-computable-number-closed

turing-machines - numbers - computability

Results found: 1630