Alternating

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

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