wiki_research

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

language_convex (327B)

      1 # Language convex
      2 
      3 A [formal_language] L is *convex* with respect to a [relation] R on [words] if whenever u R v and v R w, if u in L and w in L, then v in L
      4 
      5 cf [ang2009languages]
      6 
      7 - [language_prefix_convex]
      8 - [language_suffix_convex]
      9 - [language_factor_convex]
     10 - [language_subword_convex]
     11 
     12 Up: [convexity], [formal_language]