CS390: proof by structural induction on REs

views comments

Prove: a regular expression that does not use * cannot accept a string longer than itself.