Temporal feature analysis method describing for automata models of computation systems

Abstract

The paper reported the temporal feature analysis method describing for automata models of computation systems. The method is based on from source algorithm to modified algorithm expanding makes it possible to take characteristics of work process related to execution time measurement. The paper considers the transition method from source algorithm representation to modification a final state machine with additional states providing registration of temporal features. The paper demonstrates method usage example on computer system authorization algorithm, approves an algorithm complexity for features registration O(n) for n-states automata algorithm. The method can be used for a large class algorithm, but is recommended to apply it to an algorithm, separated on procedure thus mean of commands amount should be more than 500 for more time measurement accuracy.