A system and method for enabling the behavior of temporal expressions to be analyzed for the evaluation of such expressions. The process of evaluating such expressions ultimately results in the construction of a finite state machine, such that the set of non-deterministic functions for describing the behavior of dynamic and relativistic systems is reduced to such a system. The behavior of the finite state machine can then be examined and analyzed. The present invention is useful for such applications as the examination of the temporal behavior of a DUT (device under test), as well as for examining the behavior of dynamic systems.

Система и метод для позволять поведение височных выражений быть проанализированным для оценки таких выражений. Процесс оценивать такие выражения предельно приводит к в конструкции конечного автомата, такое что комплект non-deterministic функций для описывать поведение динамических и релятивистских систем уменьшен к такой системе. Поведение конечного автомата можно после этого рассмотреть и проанализировать. Присытствыющий вымысел полезн для таких применений как рассмотрение височного поведения DUT (приспособления под испытанием), также,как для рассматривать поведение динамических систем.