Multi-tape automata

Two-way two-tape automata are devices recognising relations over words. Alternating ones are not closed under complement.