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.