wiki_research

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

derivation_index (423B)

      1 # Derivation index
      2 
      3 The *index* of a [derivation] is the maximal number of [nonterminals] occurring in the [protowords] of the [derivation]
      4 
      5 Mentioned in [esparza2016brief], attributed to [ginsburg1968derivation]
      6 
      7 If you bound it on [CFGs] on all derivations, you get [ultralinear_CFGs]
      8 
      9 If you bound it by requiring that every accepted word has a derivation of bounded index, you get [finite_index_CFGs]
     10 
     11 Up: [derivation]