wiki_research

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

linear_cfg_equivalence (226B)

      1 # Linear CFG equivalence
      2 
      3 The [context_free_grammar_equivalence_problem] on [linear_CFGs]
      4 
      5 It is [undecidable] by [baker1974reversal], cf [yehudai1980decidability]
      6 
      7 Up: [context_free_grammar_equivalence_problem], [linear_CFG]