wiki_research

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

dpda_inclusion (253B)

      1 # DPDA inclusion
      2 
      3 It is [undecidable], cf [ginsburg1965deterministic] Theorem 5.3 (b)
      4 or [asveld2000inclusion].
      5 
      6 See also: [context_free_grammar_unambiguous_equivalence_problem]
      7 
      8 Up: [language_inclusion_problem], [DPDA]
      9 
     10 Aliases: DPDA inclusion problem