Tag: undecidability

Found 13 results for 'undecidability'.

---

1) reference-request - What language $L \in NCM$ has $\overline{L} \not \in NCM$?
2) fl.formal-languages - Is equivalence of unambiguous context-free languages decidable?
3) fl.formal-languages - Are equalizers of regular functions always regular languages? (My guess is no because PCP, but...)
4) computability - Enumerating decidable languages
5) cc.complexity-theory - Problems with efficient solution except for a small fraction of inputs
6) reference-request - Is it decidable to determine if a given shape can tile the plane?
7) lo.logic - Recommendations for References on undecidability of First Order Logic
8) oracles - Oracle-Decidability of Algebraic Independence
9) type-theory - Decidability in Extensional Type Theory
10) reference-request - research on systematically attacking multiple instances of undecidable problems
11) computability - Non-comparable natural numbers
12) computability - Uniform mortality problem for Turing Machines
13) cc.complexity-theory - Consequences of polynomial time algorithm to variant of integer factorization

---