List Of Undecidable Problems

Article Index for
List Of

Website Links For
List

Information About

List Of Undecidable Problems

PROBLEMS RELATED TO ABSTRACT MACHINE S

the Halting Problem

Rice's Theorem states that all non-trivial properties of computer programs are undecidable.

Determining if a Context-free Grammar generates all possible strings, or if it is ambiguous

Given two context-free grammars, determining whether they generate the same set of strings, or whether one generates a subset of the strings generated by the other, or whether there is any string at all that both generate.

OTHER PROBLEMS

s, there is a statement that cannot be proved or disproved

the Post Correspondence Problem

the Word Problem For Groups

the Word Problem for Formal Languages

the Wang Tile

Penrose Tiling