Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: List of undecidable problems (view)

searching for Undecidable problem 3 found (49 total)

Sahlqvist formula (876 words) [view diff] exact match in snippet view article find links to article

print. with corr.). Cambridge Univ. Press. L. A. Chagrova, 1991. An undecidable problem in correspondence theory. Journal of Symbolic Logic 56:1261–1272

Turing completeness (3,448 words) [view diff] exact match in snippet view article find links to article

contain the solution to the halting problem or some other Turing-undecidable problem. Such an infinite tape of data is called a Turing oracle. Even a

Kahn process networks (1,457 words) [view diff] exact match in snippet view article find links to article

FIFO overflows. This is however not possible for all KPNs. It is an undecidable problem to test whether a KPN is strictly bounded by b {\displaystyle b}