wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

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