wiki_research

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

logcfl (357B)

      1 # LOGCFL
      2 
      3 Complexity class of problems with [logspace_reduction] to [membership_problem] of a [context_free_grammar]
      4 
      5 aka [nlogspace] with a [stack]
      6 
      7 Also: [logdcfl] for [deterministic_context_free_grammar]
      8 
      9 [NL] is included in LOGCFL, and LOGCFL is included in [AC1], cf [buhrman2014computing] figure 1
     10 
     11 Up: [complexity_class]
     12 
     13 See also: [logcfl_complete]