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.
