“…However, the definition can also be interpreted in the classical symmetry, in which case we get standard alternating automata without data values [4,5]. Finally, the definition can also be interpreted in the total order symmetry, in which case we get alternating automata on ordered data values, a model that has been studied in [8] and closely related to one-clock timed automata [12,13,15]. In all these cases (equality, classical, total order), the same program in Nλ decides emptiness for alternating automata with one register; the program only needs to be fed into different interpreters (each symmetry defines a different interpreter).…”