word_relation (709B)
1 # Word relation 2 3 A [relation] on [words] 4 5 From most to least expressive: 6 7 - [rational_relation] with [automata_multitape] 8 - [automatic_relation] with [automata_synchronous] 9 - [recognizable_relation] with finite [union] of [Cartesian_products] of [regular_languages] 10 11 Cf [morvan2025homomorphism] Figure VII.1 for an [inclusion_diagram]. Also discussed in [barcelo2023separating] 12 13 [machine_models]: 14 15 - [transducers] 16 - [multitape_automata] 17 - [synchronous_automaton]: gives [automatic_relations] 18 - combining [automata] on each [word] 19 - gives [recognizable_relations] via [Mezei's_theorem] 20 21 Special case: [functional_relation], which corresponds to [transducers] 22 23 Up: [relation], [word] 24 25 Aliases: word relations