摘要： 1.An automaton that is both accessible and coaccessible is said to be trim.2.We define two operations on automata:product,denoted by ×,and parallel componsition,denoted by ||.3.The || operation involves all events in E1∪E2 while the × operation involves only events in E1∩E2. 阅读全文