automata_multitape (437B)
1 # Automata multitape 2 3 An [automaton] with multiple [tapes] to read multiple [words] 4 - the head on each tape can advance independently from the others, unlike [synchronous_automata] 5 6 Defines a [rational_relation] 7 8 Can be seen as an automaton reading symbols of the form (a, padding) or (padding, a), and looking at its semantics under erasure of the padding symbols 9 10 Up: [automata_types] 11 12 Aliases: multitape automaton, multitape automata