wiki_research

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

unambiguous_finite_cfg (184B)

      1 # Unambiguous finite CFG
      2 
      3 A [finite_CFG] which is an [unambiguous_CFG]
      4 
      5 Doubly exponential separation bounds in [mengel2025lower]
      6 
      7 Up: [context_free_grammar_finite], [unambiguous_CFG]