c-type = (a|b)* 0