I'd make the regular language something like (aa)* and write out MATHISON, L = {blah blah blah} rather than just giving the name.
--
"A man is the less likely to become great the more he is dominated by reason: few can achieve greatness - and none in art - if they are not dominated by illusion." Mr. Doctor