Introduction to discrete event system-学习笔记-4.10pm

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.