Ameliorates both the time complexity and the space complexity Third, introduces the new development of timed automaton that is event-recording automata, event-predicting and event-clock automata.

• 接着介绍了时间自动机的最新进展，即有关事件记录自动机，事件预测自动机以及事件时钟自动机。