Analysis of behaviour of automata