Keywords – automata with generalized temporal characteristics