“…In essence, a structure is automatic if the elements of the universe can be encoded by strings from a regular language and every relation of the structure can be recognized by a finite state automaton with several heads that proceed synchronously. Automatic structures received increasing interest over the last few years [6,7,14,25,27,29,30,31,35,36,38,44,48]. One of the main motivations for investigating automatic structures is that their first-order theories can be decided uniformly (i.e., the input is an automatic presentation and a first-order sentence).…”