Element 'finite automaton'