tech,15-7-P97-1040,ak <term> factored automata </term> , where <term> regular languages </term> are represented compactly via <term>
hide detail