wiki_research

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

shuffle_membership (309B)

      1 # Shuffle membership
      2 
      3 The [language_membership_problem] to a [formal_language] which is the [shuffle] of two [formal_languages]:
      4 
      5 - e.g., [berglund2012membership] shows [NP_hardness] of that problem for the [shuffle] of two [deterministic_linear_CFLs]
      6 
      7 Up: [shuffle]
      8 
      9 See also: [Constrained_topological_sort]