We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: On formally undecidable propositions in nondeterministic languages

Abstract: Any class of languages $\mathbf{L}$ accepted in time $\mathbf{T}$ has a counterpart $\mathbf{NL}$ accepted in nondeterministic time $\mathbf{NT}$. It follows from the definition of nondeterministic languages that $\mathbf{L} \subseteq \mathbf{NL}$. This work shows that every sufficiently powerful language in $\mathbf{L}$ contains a string corresponding to G\"{o}del's undecidable proposition, but this string is not contained in its nondeterministic counterpart. This inconsistency in the definition of nondeterministic languages shows that certain questions regarding nondeterministic time complexity equivalences are irrevocably ill-posed.
Comments: 4 pages
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC)
MSC classes: 68Q15, 03D35
Cite as: arXiv:2111.14807 [cs.FL]
  (or arXiv:2111.14807v1 [cs.FL] for this version)

Submission history

From: Martin Kolář [view email]
[v1] Thu, 25 Nov 2021 11:42:31 GMT (3kb)

Link back to: arXiv, form interface, contact.