Proof of Higman’s Theorem — Theory of Computation
🌱 What We’re Trying to Prove We want to show: All strings built from a well-quasi-ordered alphabet are also well-quasi-ordered …
higman’s lemma
Higman’s Theorem — Theory of Computation
🌱 what is the idea behind the theorem? Higman’s Theorem is about sequences (think: strings made from alphabets) and how …