Table 7  tag\vertex  a  b  ab  aba  abaa  abab
a  a  a  aba  abaa  a*  aba*
b  ab  b  b  abab  ab  b