wiki_research

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

shuffle_membership_language (343B)

      1 # Shuffle membership language
      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_membership], [formal_language]
      8 
      9 See also: [shuffle_membership_word]