data_word (334B)
1 # Data word 2 3 Like [words] but on an infinite or very large alphabet 4 5 Notions of [automaton]: 6 - [symbolic_automata], written with a [logical_formula] on transitions 7 - [parametric_automata]: same but with a global parameter guesed at the beginning of the computation (existential) 8 - [register_automata] 9 10 Up: [word] 11 12 Aliases: data words