Element 'automata-based programming'