wiki_research

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

membership_problem (339B)

      1 # Membership problem
      2 
      3 given [formal_language] L description and [word] w, test if w belongs to L
      4 
      5 - [regular_language_membership]
      6 - [context_free_language_membership]
      7 
      8 - [radoszewski2021hardness] for hardness under [3SUM_conjecture] of testing membership of a string to some [formal_languages]
      9 
     10 Up: [formal_language_computational_problem]