language_directed (435B)
1 # Directed language 2 3 [formal_language] where for any two words u, v of the language, there is w in the language such that u and v are both [subwords] of w 4 5 - makes it easier to check if two languages have the same [downwards_closure] 6 - makes it easier to check [language_equivalence] 7 8 the [downward_closure] of a directed language is a single [language_ideal] 9 10 Up: [ganardi2024directed] 11 12 Aliases: directed language, directed languages