Membership via per-branch counting invariants of a CFG

Read off the single count equality each grammar branch enforces, then test a candidate string by comparing letter counts instead of building derivations.