digraphs l* = l* = FA = FA = (- = (- =