Define = true if matches .
Base cases: (empty matches empty), if is all '*' (stars can match empty), and for (non-empty string can't match empty pattern).
The '*' transition is the tricky part: it can match zero characters () or one-or-more characters ().