Find link

language:

Find link is a tool written by Edward Betts.

searching for Post correspondence problem 1 found (25 total)

alternate case: post correspondence problem

Ogden's lemma (1,819 words) [view diff] exact match in snippet view article find links to article

is inherently ambiguous is undecidable, by reduction to the Post correspondence problem. It can also show that deciding whether a CFG has an unbounded