data_word (308B)
1 # Data word 2 3 like [word] 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]