wiki_research

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

context_free_grammar_superlinear (295B)

      1 # Superlinear CFG
      2 
      3 A CFG where the only allowed nonlinear derivations are of the form X -> YZ
      4 where Z is a linear nonterminal
      5 
      6 Cf [kutrib2007finite]
      7 
      8 Special case:
      9 - [metalinear_CFGs]
     10 
     11 Generalization:
     12 - [finite_index_CFGs]
     13 
     14 Up: [context_free_grammar]
     15 
     16 Aliases: superlinear CFG, superlinear CFGs