wiki_research

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

membership_problem (519B)

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