One-register separation for equal block lengths
= One-register separation for equal block lengths
Two string registers can recognize $\{a^nb^n:n>0\}$ by storing one marker per $a$ and removing one per $b$. A machine with only its input register cannot: two different terminal $b$-block lengths eventually reach the same state and remaining prefix, forcing equal outputs for one member and one nonmember.